- Change ulimit from 20 minutes to 60 minutes.

This commit is contained in:
Sylvain Pion
2006-03-22 17:40:45 +00:00
parent 8d012cf255
commit d7520d90fb
2 changed files with 2 additions and 2 deletions
@@ -682,7 +682,7 @@ compile_and_run()
fi
echo "Executing $1 ... "
echo
ulimit -t 1200 2> /dev/null
ulimit -t 3600 2> /dev/null
if eval $COMMAND > $OUTPUTFILE 2>&1 ; then
echo " succesful execution of $1" >> $ERRORFILE
else
@@ -745,7 +745,7 @@ compile_and_run()
fi
echo "Executing $1 ... "
echo
ulimit -t 1200 2> /dev/null
ulimit -t 3600 2> /dev/null
if eval $COMMAND > $OUTPUTFILE 2>&1 ; then
echo " succesful execution of $1" >> $ERRORFILE
else