big benchmark: new option --yes to skip the question

diff --git a/the-big-benchmark.sh b/the-big-benchmark.sh
index 7159ef8f453b284ff1ceb217f583ebd0bdd96851..9f33ef655d183a478b6aecaf799906e9db45d871 100755 (executable)
--- a/the-big-benchmark.sh
+++ b/the-big-benchmark.sh
@@ -8,21 +8,23 @@ echo
 echo "WARNING: running this script will destroy ANY local changes you"
 echo "might have on the repository."
 echo
 echo "WARNING: running this script will destroy ANY local changes you"
 echo "might have on the repository."
 echo

-echo "Are you absolutely sure you want to run this?"
-echo
-while :; do
-       echo -n "y/n: "
-       read -r yesno
-       case "$yesno" in
-               y)
-                       break
-                       ;;
-               n)
-                       echo "Aborted."
-                       exit 1
-                       ;;
-       esac
-done
+if [ x"$1" != x"--yes" ]; then
+       echo "Are you absolutely sure you want to run this?"
+       echo
+       while :; do
+               echo -n "y/n: "
+               read -r yesno
+               case "$yesno" in
+                       y)
+                               break
+                               ;;
+                       n)
+                               echo "Aborted."
+                               exit 1
+                               ;;
+               esac
+       done
+fi

 
 set -x
 rm -f data/benchmark.log
 
 set -x
 rm -f data/benchmark.log