diff --git a/fc-solve/scripts/run-solve-and-validate-benchmark.sh b/fc-solve/scripts/run-solve-and-validate-benchmark.sh index 9dac56c2d..fd067545f 100644 --- 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"