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
https://golang.org/cl/6525049

diff --git a/src/all.bat b/src/all.bat
index 386867947afe4657aa4b48a67d6e5c32b03cd6a5..8929f77273a84c01a0e6ca22e05ad5c9332cb4b3 100644 (file)
--- 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%