diff options
Diffstat (limited to 'src/all.bash')
-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 488ca4679..5d994d3d0 100755 --- a/src/all.bash +++ b/src/all.bash @@ -9,7 +9,7 @@ if [ ! -f make.bash ]; then exit 1 fi OLDPATH="$PATH" -. ./make.bash --no-banner +. ./make.bash "$@" --no-banner bash run.bash --no-rebuild PATH="$OLDPATH" $GOTOOLDIR/dist banner # print build info |