diff options
Diffstat (limited to 'src/all.bat')
-rw-r--r-- | src/all.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/all.bat b/src/all.bat index 0647a715ba..16898db769 100644 --- a/src/all.bat +++ b/src/all.bat @@ -14,6 +14,11 @@ goto end set OLDPATH=%PATH% call make.bat --no-banner --no-local if %GOBUILDFAIL%==1 goto end +if x%GO14TESTS%==x1 goto runtests +echo Build complete; skipping tests. +echo To force tests, set GO14TESTS=1 and re-run, but expect some failures. +goto end +:runtests call run.bat --no-rebuild --no-local if %GOBUILDFAIL%==1 goto end :: we must restore %PATH% before running "dist banner" so that the latter |