source: tools/PrettyGitLogs.sh @ 62e782e

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since 62e782e was eda8175, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Debug info no longer needed

  • Property mode set to 100755
File size: 577 bytes
Line 
1#!/bin/bash
2
3set -e
4
5GIT_UPDATE="$1/GIT_UPDATE"
6GIT_LOG="$1/GIT_LOG"
7GIT_DIFF="$1/GIT_DIFF"
8
9rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
10
11GitOldRef=$2
12GitNewRef=$3
13
14
15revisions=$(git rev-list ${GitOldRef}..${GitNewRef})
16
17for rev in ${revisions}; do
18    type=$(git cat-file -t ${rev})
19    echo "       via  ${rev} (${type})" >>  ${GIT_UPDATE}
20done
21rev=${GitOldRef}
22type=$(git cat-file -t ${rev})
23echo "      from  ${rev} (${type})" >>  ${GIT_UPDATE}
24
25git rev-list --format=short ${GitOldRef}...${GitNewRef} >  ${GIT_LOG}
26
27git diff --stat ${GitNewRef} ${GitOldRef} >  ${GIT_DIFF}
Note: See TracBrowser for help on using the repository browser.