# HG changeset patch
# User Chris Cannam
# Date 1452759149 0
# Node ID 9d6d2f6967828bc659fad42f330c36907acaa860
# Parent  81dd71991dc1800e57f64dd904f2a7d1ef857686
Add date stamps

diff -r 81dd71991dc1 -r 9d6d2f696782 extra/soundsoftware/export-git.sh
--- 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)"