summaryrefslogtreecommitdiff
path: root/src/config.w32
diff options
context:
space:
mode:
authorjvoisin2022-12-11 21:20:58 +0100
committerjvoisin2022-12-11 21:20:58 +0100
commit66bacf33dc4e3bcd3cd373694b3d07f4d036d2d9 (patch)
tree115991be947d0e22ffab2b8d5a281bd156c148cc /src/config.w32
parentb4ce138782b5a6dd8845848e1ee2ce5d3884ef75 (diff)
Remove the useless windows configuration file
Diffstat (limited to 'src/config.w32')
-rw-r--r--src/config.w3213
1 files changed, 0 insertions, 13 deletions
diff --git a/src/config.w32 b/src/config.w32
deleted file mode 100644
index a0197c1..0000000
--- a/src/config.w32
+++ /dev/null
@@ -1,13 +0,0 @@
1// $Id$
2// vim:ft=javascript
3
4// If your extension references something external, use ARG_WITH
5// ARG_WITH("snuffleupagus", "for snuffleupagus support", "no");
6
7// Otherwise, use ARG_ENABLE
8// ARG_ENABLE("snuffleupagus", "enable snuffleupagus support", "no");
9
10if (PHP_SNUFFLEUPAGUS != "no") {
11 EXTENSION("snuffleupagus", "snuffleupagus.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
12}
13