diff options
author | Shenghou Ma <minux.ma@gmail.com> | 2012-09-20 00:58:34 +0800 |
---|---|---|
committer | Shenghou Ma <minux.ma@gmail.com> | 2012-09-20 00:58:34 +0800 |
commit | e1c051357212ca359b30679b7214576d766d6eca (patch) | |
tree | 34db27ddecf7d42318c26745bc60b873415cd32b /src/all.bat | |
parent | c9670a0ca0c1dc8acb594303ede72bcd3feae9ef (diff) | |
download | go-e1c051357212ca359b30679b7214576d766d6eca.tar.gz |
src/all.bat: fix banner
we need to restore %PATH% before calling "dist banner", so that
it could suggest the user to add %GOROOT%/bin to %PATH% if necessary.
R=golang-dev, bradfitz
CC=golang-dev
http://codereview.appspot.com/6525049
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 386867947..8929f7727 100644 --- a/src/all.bat +++ b/src/all.bat @@ -16,8 +16,11 @@ call make.bat --no-banner --no-local if %GOBUILDFAIL%==1 goto end call run.bat --no-rebuild --no-local if %GOBUILDFAIL%==1 goto end -go tool dist banner +:: we must restore %PATH% before running "dist banner" so that the latter +:: can get the original %PATH% and give suggestion to add %GOROOT%/bin +:: to %PATH% if necessary. set PATH=%OLDPATH% +%GOTOOLDIR%/dist banner :end if x%GOBUILDEXIT%==x1 exit %GOBUILDFAIL% |