+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