diff --git a/src/all.bash b/src/all.bash
index 932b65dc070..454582c0c74 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