Changeset 42ee8f2
- Timestamp:
- Aug 17, 2018, 4:47:00 PM (6 years ago)
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/PrettyGitLogs.sh
r7a927ed0 r42ee8f2 1 1 #!/bin/bash 2 2 3 GitOldRef=$1 4 GitNewRef=$2 3 set -e 4 5 GIT_UPDATE="$1/GIT_UPDATE" 6 GIT_LOG="$1/GIT_LOG" 7 GIT_DIFF="$1/GIT_DIFF" 8 9 rm -f ${GIT_UPDATE} ${GIT_LOG} ${GIT_DIFF} 10 11 GitOldRef=$2 12 GitNewRef=$3 13 5 14 6 15 revisions=$(git rev-list ${GitOldRef}..${GitNewRef}) 7 16 8 rm -f GIT_UPDATE GIT_LOG GIT_DIFF9 10 17 for rev in ${revisions}; do 11 18 type=$(git cat-file -t ${rev}) 12 echo " via ${rev} (${type})" >> GIT_UPDATE19 echo " via ${rev} (${type})" >> ${GIT_UPDATE} 13 20 done 14 21 rev=${GitOldRef} 15 22 type=$(git cat-file -t ${rev}) 16 echo " from ${rev} (${type})" >> GIT_UPDATE23 echo " from ${rev} (${type})" >> ${GIT_UPDATE} 17 24 18 git rev-list --format=short ${GitOldRef}...${GitNewRef} > GIT_LOG25 git rev-list --format=short ${GitOldRef}...${GitNewRef} > ${GIT_LOG} 19 26 20 git diff --stat ${GitNewRef} ${GitOldRef} > GIT_DIFF27 git diff --stat ${GitNewRef} ${GitOldRef} > ${GIT_DIFF}
Note: See TracChangeset
for help on using the changeset viewer.