Tweak git pull

diff --git a/regress/scripts/update-ctest.in b/regress/scripts/update-ctest.in
index c5aa72e2b7e06e92a866686e2af3ce16ba985814..e9fc1bf86c28a90c9f5c0a0a42dd089723d4b24f 100644 (file)
--- a/regress/scripts/update-ctest.in
+++ b/regress/scripts/update-ctest.in
@@ -24,6 +24,7 @@ echo Source is ${new}
 
 if [ ${cur}x != ${new}x ] ; then
     echo "Newer version available, will run make setup"
+    git pull
     make setup
 else
     echo "Latest version present in build, skipping make setup"