Regress test Branch-5.0 prior to release

diff --git a/regress/nightly-disk b/regress/nightly-disk
index e9291c7a7ca0b36b22b7945f1eca74a8027066fc..6f199012a724e425fd4706b844afe6e757223ad8 100755 (executable)
--- a/regress/nightly-disk
+++ b/regress/nightly-disk
@@ -11,13 +11,13 @@ export REGRESS_DEBUG
 rm -rf Testing
 git pull
 #
-# Temp switch to branch 3.0.3 NB this leaves you on a headless
+# Temp switch to branch Branch-5.0 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
+git checkout `git branch -r | grep "5\.0" | head -1`
+if [ $? -ne 0 ]; then
+   git checkout master
+fi
 make distclean
 scripts/config_dart
 make setup