diff options
| author | Jeff Juliano <jjuliano@nvidia.com> | 2016-09-02 08:24:25 -0400 |
|---|---|---|
| committer | Mark Young <marky@lunarg.com> | 2016-09-02 09:12:24 -0600 |
| commit | ec09bfcbded9a16a45bba431e02fa800da0a12d3 (patch) | |
| tree | 9722fe2f9ea37a7966ead8321bcc645c1ff7e516 | |
| parent | 4f1ab39a5a1e95e11003a35c2c0c775f7466a425 (diff) | |
| download | usermoji-ec09bfcbded9a16a45bba431e02fa800da0a12d3.tar.xz | |
use "exit /b", not "exit"
"exit" terminates the cmd shell that invoked this script.
"exit /b" terminates only this bat script.
Change-Id: I1207545944ac2809c8f45a70f37e88cbdbc80aac
| -rw-r--r-- | build_windows_targets.bat | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/build_windows_targets.bat b/build_windows_targets.bat index eb132094..e60d3bba 100644 --- a/build_windows_targets.bat +++ b/build_windows_targets.bat @@ -34,7 +34,7 @@ if %do_cmake%==0 ( if %do_32%==0 ( if %do_64%==0 ( echo No valid parameters specified. - exit 1 + exit /b 1 ) ) ) @@ -76,7 +76,7 @@ if %do_64%==1 ( echo. echo 64-bit Debug build failed! popd - exit 1 + exit /b 1 ) echo Building 64-bit Release @@ -85,7 +85,7 @@ if %do_64%==1 ( echo. echo 64-bit Release build failed! popd - exit 1 + exit /b 1 ) popd ) @@ -106,7 +106,7 @@ if %do_32%==1 ( echo. echo 32-bit Debug build failed! popd - exit 1 + exit /b 1 ) echo Building 32-bit Release @@ -115,8 +115,8 @@ if %do_32%==1 ( echo. echo 32-bit Release build failed! popd - exit 1 + exit /b 1 ) popd ) -exit 0 +exit /b 0 |