source: tools/PrettyGitLogs.sh @ 36fb4ce8

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

Added new script to print the git logs

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