export REGRESS_DEBUG
rm -rf Testing
git pull
+#
+# Temp switch to branch 3.0.3 NB this leaves you on a headless
+# branch, but it works for building and testing.
+#
+#git checkout `git branch -r | grep "3\.0\.3" | head -1`
+#if [ $? -ne 0 ]; then
+# git checkout master
+#fi
make distclean
scripts/config_dart
make setup