Advertisement
Guest User

Untitled

a guest
Jul 24th, 2017
47
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.79 KB | None | 0 0
  1. win32/build/confutils.js | 12 ++++++------
  2. 1 file changed, 6 insertions(+), 6 deletions(-)
  3.  
  4. diff --git a/win32/build/confutils.js b/win32/build/confutils.js
  5. index 0c88d13..207190c 100644
  6. --- a/win32/build/confutils.js
  7. +++ b/win32/build/confutils.js
  8. @@ -405,12 +405,12 @@ function conf_process_args()
  9. }
  10. }
  11. if (!found) {
  12. - INVALID_CONFIG_ARGS[INVALID_CONFIG_ARGS.length] = argname;
  13. -
  14. - /*
  15. - STDERR.WriteLine("Unknown option " + argname + "; please try configure.js --help for a list of valid options");
  16. - WScript.Quit(2);
  17. - */
  18. + if (PHP_SNAPSHOT_BUILD != 'no') {
  19. + STDERR.WriteLine("Unknown option " + argname + "; please try configure.js --help for a list of valid options");
  20. + WScript.Quit(2);
  21. + } else {
  22. + INVALID_CONFIG_ARGS[INVALID_CONFIG_ARGS.length] = argname;
  23. + }
  24. }
  25. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement