diff options
Diffstat (limited to 'src/make.bash')
| -rwxr-xr-x | src/make.bash | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/make.bash b/src/make.bash index 5677b7012..43183e786 100755 --- a/src/make.bash +++ b/src/make.bash @@ -57,7 +57,6 @@ done echo '# Building C bootstrap tool.' echo cmd/dist -mkdir -p ../bin/tool export GOROOT="$(cd .. && pwd)" GOROOT_FINAL="${GOROOT_FINAL:-$GOROOT}" DEFGOROOT='-DGOROOT_FINAL="'"$GOROOT_FINAL"'"' @@ -67,6 +66,10 @@ echo if [ "$1" = "--dist-tool" ]; then # Stop after building dist tool. + mkdir -p $GOTOOLDIR + if [ "$2" != "" ]; then + cp cmd/dist/dist "$2" + fi mv cmd/dist/dist $GOTOOLDIR/dist exit 0 fi |