diff options
Diffstat (limited to 'src/all.bat')
-rw-r--r-- | src/all.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/all.bat b/src/all.bat index 980f937ef..e3b61c012 100644 --- a/src/all.bat +++ b/src/all.bat @@ -13,7 +13,7 @@ goto end call make.bat --no-banner --no-local if %GOBUILDFAIL%==1 goto end -call run.bat --no-rebuild +call run.bat --no-rebuild --no-local if %GOBUILDFAIL%==1 goto end go tool dist banner |