build: run.bash no longer accepts --no-banner

R=golang-dev, rsc
CC=golang-dev
https://golang.org/cl/5986063

diff --git a/src/all.bash b/src/all.bash
index 932b65dc070f63574bcc5fb1047565e43b5236c2..454582c0c7459bd0aecad0abe112f1b4e0752795 100755 (executable)
--- 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