build: add make.bash --dist-tool

R=golang-dev, n13m3y3r
CC=golang-dev
https://golang.org/cl/5634048

diff --git a/src/make.bash b/src/make.bash
index fcc320e573dd8f4c9355ce8513359b8f8fbc2a07..32a91a2fc9d6fcb5fa5a23d4a0c452cb3fd65954 100755 (executable)
--- a/src/make.bash
+++ b/src/make.bash
@@ -51,6 +51,11 @@ DEFGOROOT='-DDEFAULT_GOROOT="'"$(cd .. && pwd)"'"'
 gcc -O2 -Wall -Werror -o ../bin/tool/dist -Icmd/dist "$DEFGOROOT" cmd/dist/*.c
 echo
 
+if [ "$1" = "--dist-tool" ]; then
+       # Stop after building dist tool.
+       exit 0
+fi
+
 echo '# Building compilers and Go bootstrap tool.'
 ../bin/tool/dist bootstrap -v # builds go_bootstrap
 echo