Update MakeInstall.bat

This commit is contained in:
CorpNewt 2020-07-05 11:45:06 -05:00 committed by GitHub
parent c80a680229
commit 6487df91a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,6 +6,7 @@ set "script_name="
set "thisDir=%~dp0"
set /a tried=0
set "toask=yes"
set "pause_on_error=yes"
set "py2v="
set "py2path="
set "py3v="
@ -310,4 +311,13 @@ if "!args!"=="" (
) else (
"!pypath!" "!thisDir!!script_name!" %*
)
if /i "!pause_on_error!" == "yes" (
if not "%ERRORLEVEL%" == "0" (
echo.
echo Script exited with error code: %ERRORLEVEL%
echo.
echo Press [enter] to exit...
pause > nul
)
)
goto :EOF