+enginebinname=$engine
+case $engine in
+ nitg)
+ engine=nitg-s;
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--separate $OPT"
+ ;;
+ nitg-s)
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--separate $OPT"
+ ;;
+ nitg-e)
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--erasure $OPT"
+ ;;
+ nitg-g)
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--global $OPT"
+ ;;
+ nit)
+ engine=niti
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ ;;
+ niti)
+ enginebinname=nit
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ ;;
+ nitc)
+ echo "disabled engine $engine"
+ exit 0
+ ;;
+ *)
+ echo "unknown engine $engine"
+ exit 1
+ ;;
+esac
+
+# The default nitc compiler
+[ -z "$NITC" ] && find_nitc
+
+# Set NIT_DIR if needed
+[ -z "$NIT_DIR" ] && export NIT_DIR=..
+
+if sh -c "timelimit echo" 1>/dev/null 2>&1; then
+ TIMEOUT="timelimit -t 600"
+elif sh -c "timeout 1 echo" 1>/dev/null 2>&1; then
+ TIMEOUT="timeout 600s"
+else
+ echo "No timelimit or timeout command detected. Tests may hang :("
+fi