goto end\r
:ok\r
\r
-set OLDPATH=%PATH%\r
call .\make.bat --no-banner --no-local\r
if %GOBUILDFAIL%==1 goto end\r
call .\run.bat --no-rebuild --no-local\r
if %GOBUILDFAIL%==1 goto end\r
-:: we must restore %PATH% before running "dist banner" so that the latter\r
-:: can get the original %PATH% and give suggestion to add %GOROOT%/bin\r
-:: to %PATH% if necessary.\r
-set PATH=%OLDPATH%\r
"%GOTOOLDIR%/dist" banner\r
\r
:end\r