From: Shenghou Ma <minux.ma@gmail.com>
Date: Wed, 19 Sep 2012 16:58:34 +0000 (+0800)
Subject: src/all.bat: fix banner
X-Git-Tag: go1.1rc2~2401
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=2e7aaeddc4498788fe98bb9052af67894566ee5d;p=gostls13.git

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 386867947a..8929f77273 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%