removed debugging line.

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index b42df56850feecbc263313dd3faae1fd61131ff4..250812e24b380a5dc578e6872c0300dc51e7d600 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -102,7 +102,6 @@ function compute_modifier()
 function do_checkin()
 {
   local directory="$1"; shift
-echo "do_checkin sees directory '$directory'"
   do_update "$directory"
   if [ $? -ne 0 ]; then
     echo "Repository update failed; this should be fixed before check-in."