cleaned up some logging.

diff --git a/scripts/rev_control/getme.sh b/scripts/rev_control/getme.sh
index 15e986ef106a18a1e5eeff60e2f6b24834370ace..76f759cce36aa2b50d731d9e0a6c3f69df91aa2e 100644 (file)
--- a/scripts/rev_control/getme.sh
+++ b/scripts/rev_control/getme.sh
@@ -47,7 +47,9 @@ function checkout_list {
       # add in the directory for our purposes here.
       j="$i/$j"
       if [ ! -d $j ]; then
-        echo no directory called $j exists
+        if [ ! -z "$SHELL_DEBUG" ]; then
+          echo "No directory called $j exists."
+        fi
         continue
       fi