- WAITED=$(($WAITED+1))
- if (($WAITED>60)); then
- echo
- echo "timeout, killing SBCL"
- kill -9 $SBCL_PID
- exit 1 # Failure, SBCL probably hanging in GC
+ WAITED="x$WAITED"
+ if [ $WAITED = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" ]; then
+ echo
+ echo "timeout, killing SBCL"
+ kill -9 $SBCL_PID
+ exit $EXIT_LOSE # Failure, SBCL probably hanging in GC