sanity/safety checks

shlomif · Dec 5, 2024 · dcb2d1e · dcb2d1e
1 parent b2c46b4
commit dcb2d1e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/fc-solve/scripts/run-solve-and-validate-benchmark.sh b/fc-solve/scripts/run-solve-and-validate-benchmark.sh
@@ -11,7 +11,10 @@
     -t fcs
     shlomif_ux
     set -e -x
-    cd "$trunk/fc-solve"
+    test -n "$trunk"
+    fcsdir="$trunk/fc-solve"
+    test -d "$fcsdir"
+    cd "$fcsdir"
     rm -fr "B"
     mkdir "B"
     cd "B"