save_debug=${REGRESS_DEBUG}
REGRESS_DEBUG=1
export REGRESS_DEBUG
-scripts/do_sed
-ctest -D Nightly -R "all-non-root:"
+scripts/config_dart
+nice ctest -D Nightly -R "all-non-root:"
+if [ $? != 0 ] ; then
+ echo "ctest failed re-running Submit"
+ ctest -D NightlySubmit
+fi
REGRESS_DEBUG=${save_debug}