php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-03-29 03:32:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

- no need to look for bindlib_w32, not used anymore

Browse Source
This commit is contained in:
Pierre Joye
2008-12-18 23:20:44 +00:00
parent ba76cf017e
commit 6983c20844
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
win32/build/config.w32
View File

@@ -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()