more cleanups

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index 000c3c61b7903d2ea12403dc7dc0f74858fdf77e..f33532de8ac96d71d19e2d03219efd8f8ec3e6f3 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -286,7 +286,7 @@ function careful_git_update()
   local branch_list=$(git branch |grep -v '^\*')
   local bran
   for bran in $branch_list; do
-    echo "synchronizing remote branch: $bran"
+#    echo "synchronizing remote branch: $bran"
     git checkout "$bran"
     test_or_die "git checking out remote branch: $bran"
     git pull --no-ff