Changeset 42ee8f2 for tools

Timestamp:

Aug 17, 2018, 4:47:00 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

6e31c43

Parents:

7a927ed0

Message:

PrettyGitLogs? now takes the target directory as argument

File:

• tools/PrettyGitLogs.sh (modified) (1 diff)

tools/PrettyGitLogs.sh

@@ -1 +1 @@
 #!/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}