- no need to look for bindlib_w32, not used anymore

diff --git a/win32/build/config.w32 b/win32/build/config.w32
index 6074b46cc42b5b06b3e108aee283f01ba272a6d2..dd2ebe5e3973cad8e22849d8e060b9d6928fe52e 100644 (file)
--- a/win32/build/config.w32
+++ b/win32/build/config.w32
@@ -239,8 +239,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()