diff options
| -rw-r--r-- | win32/build/config.w32 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/win32/build/config.w32 b/win32/build/config.w32 index 6bfe34b306..970ebcaaae 100644 --- a/win32/build/config.w32 +++ b/win32/build/config.w32 @@ -241,8 +241,8 @@ DEFINE("PHP_BUILD", PHP_PHP_BUILD); ARG_WITH('extra-includes', 'Extra include path to use when building everything', ''); ARG_WITH('extra-libs', 'Extra library path to use when linking everything', ''); -var php_usual_include_suspects = PHP_PHP_BUILD+"\\include;..\\deps\\include;..\\bindlib_w32;"; -var php_usual_lib_suspects = PHP_PHP_BUILD+"\\lib;..\\deps\\lib;..\\bindlib_w32"; +var php_usual_include_suspects = PHP_PHP_BUILD+"\\include;..\\deps\\include"; +var php_usual_lib_suspects = PHP_PHP_BUILD+"\\lib;..\\deps\\lib"; // Poke around for some headers function probe_basic_headers() |