added separators

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index 9bf195c1b9221c6fff9d364966372f07b49bb097..af8d3cf6476b6b207fda7ba1cfcd27c27f4cb1c8 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -193,6 +193,7 @@ function checkin_list()
       if [ ! -d "$j" ]; then continue; fi
       echo "checking in '$j'..."
       do_checkin $j
+      sep 7
     done
   done
 }
@@ -291,7 +292,7 @@ function perform_revctrl_action_on_file()
     pushd "$dirname" &>/dev/null
     echo "[$(pwd)]"
     $action .
-    echo "======="
+    sep 7
     popd &>/dev/null
   done 3<"$tempfile"