diff options
author | Kalle Sommer Nielsen <kalle@php.net> | 2009-01-02 12:16:42 +0000 |
---|---|---|
committer | Kalle Sommer Nielsen <kalle@php.net> | 2009-01-02 12:16:42 +0000 |
commit | be8d3a6ebe690078f7e2954e4d3330e034990478 (patch) | |
tree | 0379cf9c0357e51d48bc9bd407f097b10d7ec34c /buildconf.bat | |
parent | 0383c0186749bd4366f80891c1bba1ebda82914e (diff) | |
download | php-git-be8d3a6ebe690078f7e2954e4d3330e034990478.tar.gz |
Check if configure script was copied, and output an error if it wasn't
Diffstat (limited to 'buildconf.bat')
-rw-r--r-- | buildconf.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/buildconf.bat b/buildconf.bat index aca8394d3c..27a4bcb2d1 100644 --- a/buildconf.bat +++ b/buildconf.bat @@ -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')
\ No newline at end of file |