changeset 1557:9d6d2f696782 feature_1136

Add date stamps
author Chris Cannam
date Thu, 14 Jan 2016 08:12:29 +0000
parents 81dd71991dc1
children a0c46d6fe7bc
files extra/soundsoftware/export-git.sh
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/extra/soundsoftware/export-git.sh	Wed Jan 13 13:33:03 2016 +0000
+++ b/extra/soundsoftware/export-git.sh	Thu Jan 14 08:12:29 2016 +0000
@@ -54,6 +54,9 @@
 wastedir="$gitdir/__WASTE"
 mkdir -p "$wastedir"
 
+echo
+echo "$0 starting at $(date)"
+
 echo "Extracting author maps..."
 
 # Delete any existing authormap files, because we want to ensure we
@@ -115,5 +118,5 @@
     
 done
 
-echo "All done"
+echo "$0 finishing at $(date)"