unified language for saying there was no repo.

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index 104d56e4eea4275cb88c6267066e486621b7146b..e96af846e291aca24d97f1ec9f125a6938615cc7 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -211,7 +211,7 @@ function do_update()
   elif [ -d ".git" ]; then
     git pull 2>&1 | grep -v "X11 forwarding request failed" | squash_first_few_crs
   else
-    echo unknown repository for $directory...
+    echo no repository in $directory
   fi
   popd &>/dev/null
 }