diff options
| author | jvoisin | 2022-12-11 21:20:58 +0100 |
|---|---|---|
| committer | jvoisin | 2022-12-11 21:20:58 +0100 |
| commit | 66bacf33dc4e3bcd3cd373694b3d07f4d036d2d9 (patch) | |
| tree | 115991be947d0e22ffab2b8d5a281bd156c148cc /src | |
| parent | b4ce138782b5a6dd8845848e1ee2ce5d3884ef75 (diff) | |
Remove the useless windows configuration file
Diffstat (limited to 'src')
| -rw-r--r-- | src/config.w32 | 13 |
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 | |||
| 10 | if (PHP_SNUFFLEUPAGUS != "no") { | ||
| 11 | EXTENSION("snuffleupagus", "snuffleupagus.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1"); | ||
| 12 | } | ||
| 13 | |||
