Better error checking in do_all.sh.

StanfordLegion · Jul 26, 2024 · 29e08a0 · 29e08a0
1 parent 127e810
commit 29e08a0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/experiment/do_all.sh b/experiment/do_all.sh
@@ -4,10 +4,14 @@ machine="$1"
 
 set -e
 
+if [[ -z ${machine} ]]; then
+    echo "Please specify a machine to run this experiment for."
+    exit 1
+fi
+
 root_dir="$(dirname "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")")"
 cd "$root_dir"
 
-
 source experiment/$machine/env.sh
 ./experiment/$machine/do_build.sh
 ./experiment/$machine/run_all_tests.sh