diff options
| -rw-r--r-- | src/all.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/all.bat b/src/all.bat index 93e07b578..feaf4e65d 100644 --- a/src/all.bat +++ b/src/all.bat @@ -16,3 +16,4 @@ if %GOBUILDFAIL%==1 goto end ..\bin\tool\dist banner :end +exit %GOBUILDFAIL% |