a tweak to keep missing directories from causing error messages.

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index 40eb80e861d8b137fd1b851ab10630d459a978f0..e3e0c4b17c1132835f36787d4a4e0c7613e78857 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -220,8 +220,8 @@ function do_update()
     git pull 2>&1 | grep -v "X11 forwarding request failed" | squash_first_few_crs
     retval=${PIPESTATUS[0]}
   else
+    # this is not an error necessarily; we'll just pretend they planned this.
     echo no repository in $directory
-    retval=1
   fi
   popd &>/dev/null
   return $retval