better checks

kosloot · Apr 8, 2024 · 83c2e2c · 83c2e2c
1 parent 9690af0
commit 83c2e2c
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/redo-everything-from-scratch b/redo-everything-from-scratch
@@ -10,9 +10,18 @@ restart=$1
 compiler=$2
 branch=$3
 
-if [ "$compiler" == "" ];
+if [ "$compiler" == "" ]
 then
     compiler=g++
+else
+    if [ "$compiler" != "g++" ] \
+	&& [ "$compiler" != "clang++" ] \
+	&& [ "$compiler" != "clang++-14" ] \
+	&& [ "$compiler" != "clang++-15" ]
+    then
+	echo "compiler must be c++ or clang++[-14|15]"
+	exit
+    fi
 fi
 
 echo -n "Rebuilding ALL with $compiler "