diff options
-rwxr-xr-x | src/all.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/all.bash b/src/all.bash index 932b65dc07..454582c0c7 100755 --- a/src/all.bash +++ b/src/all.bash @@ -9,5 +9,5 @@ if [ ! -f make.bash ]; then exit 1 fi . ./make.bash --no-banner -bash run.bash --no-rebuild --banner +bash run.bash --no-rebuild $GOTOOLDIR/dist banner # print build info |