diff options
| author | Xinchen Hui <laruence@php.net> | 2015-01-30 16:50:55 +0800 |
|---|---|---|
| committer | Xinchen Hui <laruence@php.net> | 2015-01-30 16:50:55 +0800 |
| commit | d28af7394acfd9d01ad4534744ab5e9250842f10 (patch) | |
| tree | e598bd4b924b2a3d3ee485e5a599fb52c720b0bc | |
| parent | 348be58f869359513436f8dae44692c4c235c9dd (diff) | |
| parent | 6895cf6e69df26db51fae324a2b2cd8eac030803 (diff) | |
| download | php-git-d28af7394acfd9d01ad4534744ab5e9250842f10.tar.gz | |
Merge branch 'master' of https://git.php.net/repository/php-src
| -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"); } |