diff options
| -rw-r--r-- | ext/sockets/config.w32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/sockets/config.w32 b/ext/sockets/config.w32 index d3455b05dd..e6c4cfea68 100644 --- a/ext/sockets/config.w32 +++ b/ext/sockets/config.w32 @@ -9,7 +9,7 @@ if (PHP_SOCKETS != "no") { && CHECK_HEADER_ADD_INCLUDE("winsock.h", "CFLAGS_SOCKETS")) { EXTENSION('sockets', 'sockets.c multicast.c conversions.c sockaddr_conv.c sendrecvmsg.c', PHP_SOCKETS_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1"); AC_DEFINE('HAVE_SOCKETS', 1); - PHP_INSTALL_HEADERS("ext/sockets", "php_sockets.h"); + PHP_INSTALL_HEADERS("ext/sockets", "php_sockets.h windows_common.h"); } else { WARNING("sockets not enabled; libraries and headers not found"); } |