mirror of
https://github.com/cosinekitty/astronomy.git
synced 2025-12-28 18:20:34 -05:00
7e196a3c17
In many of my Windows batch files, I used the following
construct to detect failures:
do_something
if errorlevel 1 (
echo.An error occurred in do_something
exit /b 1
)
I discovered that it is possible for a Windows program
to exit with a negative integer error code.
This causes the above construct to miss the failure
and the batch file blithely continues.
So I have replaced that construct with
do_something || (
echo.An error occurred in do_something
exit /b 1
)
This way, if the command exits with any nonzero error,
we correctly detect it as a failure.
8 lines
170 B
Batchfile
8 lines
170 B
Batchfile
@echo off
|
|
setlocal EnableDelayedExpansion
|
|
call verify_clean.bat || exit /b 1
|
|
call run.bat || exit /b 1
|
|
call verify_clean.bat || exit /b 1
|
|
git push || exit /b 1
|
|
exit /b 0
|