+----------------------------------------------------------------------+
*/
-// $Id: confutils.js,v 1.9 2003-12-03 22:59:48 wez Exp $
+// $Id: confutils.js,v 1.10 2003-12-03 23:48:02 fmk Exp $
var STDOUT = WScript.StdOut;
var STDERR = WScript.StdErr;
* it here, no need to add another /libpath: for it as we
* already have it covered, but we need to add the lib
* to LIBS_XXX */
- if (false != search_paths(header_name, PHP_EXTRA_LIBS, null)) {
+ if (false != search_paths(libname, PHP_EXTRA_LIBS, null)) {
ADD_FLAG("LIBS_" + target.toUpperCase(), libname);
have = 1;
}