mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Catch exceptions from broken config.w32 files
This commit is contained in:
parent
bfbd57905e
commit
93cdab8b96
1 changed files with 5 additions and 1 deletions
|
@ -16,7 +16,7 @@
|
||||||
+----------------------------------------------------------------------+
|
+----------------------------------------------------------------------+
|
||||||
*/
|
*/
|
||||||
|
|
||||||
/* $Id: buildconf.js,v 1.11 2004-02-12 12:30:41 wez Exp $ */
|
/* $Id: buildconf.js,v 1.12 2004-08-03 01:23:35 wez Exp $ */
|
||||||
// This generates a configure script for win32 build
|
// This generates a configure script for win32 build
|
||||||
|
|
||||||
WScript.StdOut.WriteLine("Rebuilding configure.js");
|
WScript.StdOut.WriteLine("Rebuilding configure.js");
|
||||||
|
@ -209,7 +209,11 @@ re = new RegExp("(ARG_(ENABLE|WITH)\([^;]+\);)", "gm");
|
||||||
calls = modules.match(re);
|
calls = modules.match(re);
|
||||||
for (i = 0; i < calls.length; i++) {
|
for (i = 0; i < calls.length; i++) {
|
||||||
item = calls[i];
|
item = calls[i];
|
||||||
|
C.WriteLine("try {");
|
||||||
C.WriteLine(item);
|
C.WriteLine(item);
|
||||||
|
C.WriteLine("} catch (e) {");
|
||||||
|
C.WriteLine('\tSTDOUT.WriteLine("problem: " + e);');
|
||||||
|
C.WriteLine("}");
|
||||||
}
|
}
|
||||||
|
|
||||||
C.WriteBlankLines(1);
|
C.WriteBlankLines(1);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue