Index: tools/PrettyGitLogs.sh
===================================================================
--- tools/PrettyGitLogs.sh	(revision 36fb4ce82c7ba767adfc882b36b9e4d4686182ea)
+++ tools/PrettyGitLogs.sh	(revision 42ee8f225826c5d3a6ae53acf6676a305bf18038)
@@ -1,20 +1,27 @@
 #!/bin/bash
 
-GitOldRef=$1
-GitNewRef=$2
+set -e
+
+GIT_UPDATE="$1/GIT_UPDATE"
+GIT_LOG="$1/GIT_LOG"
+GIT_DIFF="$1/GIT_DIFF"
+
+rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
+
+GitOldRef=$2
+GitNewRef=$3
+
 
 revisions=$(git rev-list ${GitOldRef}..${GitNewRef})
 
-rm -f GIT_UPDATE GIT_LOG GIT_DIFF
-
 for rev in ${revisions}; do
     type=$(git cat-file -t ${rev})
-    echo "       via  ${rev} (${type})" >> GIT_UPDATE
+    echo "       via  ${rev} (${type})" >>  ${GIT_UPDATE}
 done
 rev=${GitOldRef}
 type=$(git cat-file -t ${rev})
-echo "      from  ${rev} (${type})" >> GIT_UPDATE
+echo "      from  ${rev} (${type})" >>  ${GIT_UPDATE}
 
-git rev-list --format=short ${GitOldRef}...${GitNewRef} > GIT_LOG
+git rev-list --format=short ${GitOldRef}...${GitNewRef} >  ${GIT_LOG}
 
-git diff --stat ${GitNewRef} ${GitOldRef} > GIT_DIFF
+git diff --stat ${GitNewRef} ${GitOldRef} >  ${GIT_DIFF}