diff options
Diffstat (limited to 'src/all.bat')
-rw-r--r-- | src/all.bat | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/all.bat b/src/all.bat index 4389a528d..7792cf174 100644 --- a/src/all.bat +++ b/src/all.bat @@ -9,11 +9,14 @@ echo all.bat must be run from go\src goto end :ok +set GOOLDPATH=%PATH% + call make.bat --no-banner if %GOBUILDFAIL%==1 goto end call run.bat --no-rebuild if %GOBUILDFAIL%==1 goto end -..\bin\tool\dist banner +go tool dist banner :end +set PATH=%GOOLDPATH% if x%GOBUILDEXIT%==x1 exit %GOBUILDFAIL% |