diff options
author | Shenghou Ma <minux.ma@gmail.com> | 2012-06-06 20:19:16 +0800 |
---|---|---|
committer | Shenghou Ma <minux.ma@gmail.com> | 2012-06-06 20:19:16 +0800 |
commit | 92f2a1920ffb53550428e7a9db607cf2fe5b4c5e (patch) | |
tree | 724471713c6f247a1679430de719c4234a4c13f0 /src/all.bat | |
parent | 901950563636ee5db605844f92b058f5c6258573 (diff) | |
download | go-92f2a1920ffb53550428e7a9db607cf2fe5b4c5e.tar.gz |
build: restore PATH before "dist banner"
Fixes issue 3699.
R=golang-dev, r, rsc
CC=golang-dev
http://codereview.appspot.com/6272048
Diffstat (limited to 'src/all.bat')
-rw-r--r-- | src/all.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/all.bat b/src/all.bat index e3b61c012..8edfd7f43 100644 --- a/src/all.bat +++ b/src/all.bat @@ -11,10 +11,12 @@ echo all.bat must be run from go\src goto end :ok +set OLDPATH=%PATH% call make.bat --no-banner --no-local if %GOBUILDFAIL%==1 goto end call run.bat --no-rebuild --no-local if %GOBUILDFAIL%==1 goto end +set PATH=%OLDPATH% go tool dist banner :end |