export REGRESS_DEBUG
rm -rf Testing
git pull
+#
+# Temp switch to branch 3.0.3
+#
+git checkout `git branch -r | grep "3\.0\.3" | line`
+if [ $? -ne 0 ]; then
+ git checkout master
+fi
make distclean
scripts/config_dart
make setup
rtn=$?
i=`expr $i + 1`
done
+# Switch back to master
+git checkout master
REGRESS_DEBUG=${save_debug}
echo "End nightly-disk `date`"