mirror of
https://github.com/golang/go
synced 2024-11-21 23:44:39 -07:00
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
This commit is contained in:
parent
674bbafce6
commit
2e7aaeddc4
@ -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%
|
||||
|
Loading…
Reference in New Issue
Block a user