source: tools/PrettyGitLogs.sh @ 2407853

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since 2407853 was 9f5bb817, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

PrettyGitLogs? now requires both the source dir and the build dir but can be called from anywhere

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