Index: tools/PrettyGitLogs.sh
===================================================================
--- tools/PrettyGitLogs.sh	(revision 42ee8f225826c5d3a6ae53acf6676a305bf18038)
+++ tools/PrettyGitLogs.sh	(revision 7cbd7cecd4fe359a4461fade05a5776c1cb2339b)
@@ -8,4 +8,9 @@
 
 rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
+
+echo "Printing git information into: "
+echo "    ${GIT_UPDATE}"
+echo "    ${GIT_LOG}"
+echo "    ${GIT_DIFF}"
 
 GitOldRef=$2