mirror of
https://github.com/php/php-src.git
synced 2025-08-19 17:04:47 +02:00
- MFH: no need to look for bindlib_w32, not used anymore
This commit is contained in:
parent
e5491af3c5
commit
c310143ac7
1 changed files with 2 additions and 2 deletions
|
@ -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-includes', 'Extra include path to use when building everything', '');
|
||||||
ARG_WITH('extra-libs', 'Extra library path to use when linking 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_include_suspects = PHP_PHP_BUILD+"\\include;..\\deps\\include";
|
||||||
var php_usual_lib_suspects = PHP_PHP_BUILD+"\\lib;..\\deps\\lib;..\\bindlib_w32";
|
var php_usual_lib_suspects = PHP_PHP_BUILD+"\\lib;..\\deps\\lib";
|
||||||
|
|
||||||
// Poke around for some headers
|
// Poke around for some headers
|
||||||
function probe_basic_headers()
|
function probe_basic_headers()
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue