diff options
-rwxr-xr-x | src/make.bash | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/make.bash b/src/make.bash index fcc320e57..32a91a2fc 100755 --- 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 |