From: Pierre Joye <pajoye@php.net>
Date: Thu, 18 Dec 2008 23:20:44 +0000 (+0000)
Subject: - no need to look for bindlib_w32, not used anymore
X-Git-Tag: php-5.4.0alpha1~191^2~4777
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6983c20844fd5bbfa3720e2402c3069836adfbdb;p=php

- no need to look for bindlib_w32, not used anymore
---

diff --git a/win32/build/config.w32 b/win32/build/config.w32
index 6074b46cc4..dd2ebe5e39 100644
--- 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()