debugging change to see what's aching on windows.

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index 250812e24b380a5dc578e6872c0300dc51e7d600..b42df56850feecbc263313dd3faae1fd61131ff4 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -102,6 +102,7 @@ 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."