if [ $? != 0 ] ; then
echo "ctest failed re-running Submit"
ctest -D NightlySubmit
+ if [ $? != 0 ] ; then
+ echo "Submit failed, waiting 5 mins"
+ sleep 300
+ echo "ctest failed re-running Submit a second time"
+ ctest -D NightlySubmit
+ fi
fi
REGRESS_DEBUG=${save_debug}