Don't exit MathSAT setup script halfway through (stanford-centaur#351)

CyanoKobalamyne · Sep 13, 2024 · 58f61e1 · 58f61e1
1 parent 96136ce
commit 58f61e1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/ci-scripts/setup-msat.sh b/ci-scripts/setup-msat.sh
@@ -61,7 +61,6 @@ if [ ! -d "$DEPS/mathsat" ]; then
 
 else
     echo "$DEPS/mathsat already exists. If you want to re-download, please remove it manually."
-    exit 1
 fi
 
 if [ -f $DEPS/mathsat/lib/libmathsat.a ] ; then \