1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Check if configure script was copied, and output an error if it wasn't

This commit is contained in:
Kalle Sommer Nielsen
2009-01-02 12:16:42 +00:00
parent 0383c01867
commit be8d3a6ebe
2 changed files with 3 additions and 2 deletions

View File

@@ -3,3 +3,5 @@ cscript /nologo win32\build\buildconf.js %*
SET PHP_BUILDCONF_PATH=%~dp0
copy %PHP_BUILDCONF_PATH%\win32\build\configure.bat %PHP_BUILDCONF_PATH% > nul
SET PHP_SDK_SCRIPT_PATH=
IF NOT EXIST %PHP_BUILDCONF_PATH% (echo Error generating configure script, configure script was not copied) ELSE (echo Now run 'configure --help')