diff options
Diffstat (limited to 'src/make.bat')
-rw-r--r-- | src/make.bat | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/make.bat b/src/make.bat index ec39392dd..01c2dc457 100644 --- a/src/make.bat +++ b/src/make.bat @@ -68,6 +68,9 @@ call env.bat del env.bat echo. +if x%1==x--dist-tool goto copydist +if x%2==x--dist-tool goto copydist + echo # Building compilers and Go bootstrap tool. set buildall=-a if x%1==x--no-clean set buildall= @@ -105,6 +108,11 @@ if x%1==x--no-banner goto nobanner goto end +:copydist +mkdir %GOTOOLDIR% 2>NUL +copy cmd\dist\dist.exe %GOTOOLDIR%\ +goto end + :fail set GOBUILDFAIL=1 |