diff options
Diffstat (limited to 'ext/sockets/config.w32')
| -rw-r--r-- | ext/sockets/config.w32 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/ext/sockets/config.w32 b/ext/sockets/config.w32 deleted file mode 100644 index 587b9a1b12..0000000000 --- a/ext/sockets/config.w32 +++ /dev/null @@ -1,15 +0,0 @@ -// $Id$ -// vim:ft=javascript - -ARG_ENABLE("sockets", "SOCKETS support", "no"); - -if (PHP_SOCKETS != "no") { - - if (CHECK_LIB("ws2_32.lib", "sockets", PHP_SOCKETS)) { - EXTENSION('sockets', 'sockets.c php_sockets_win.c'); - AC_DEFINE('HAVE_SOCKETS', 1); - } else { - WARNING("sockets not enabled; libraries and headers not found"); - } -} - |