Changeset 42ee8f2


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/PrettyGitLogs.sh

    r7a927ed0 r42ee8f2  
    11#!/bin/bash
    22
    3 GitOldRef=$1
    4 GitNewRef=$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
    514
    615revisions=$(git rev-list ${GitOldRef}..${GitNewRef})
    716
    8 rm -f GIT_UPDATE GIT_LOG GIT_DIFF
    9 
    1017for rev in ${revisions}; do
    1118    type=$(git cat-file -t ${rev})
    12     echo "       via  ${rev} (${type})" >> GIT_UPDATE
     19    echo "       via  ${rev} (${type})" >>  ${GIT_UPDATE}
    1320done
    1421rev=${GitOldRef}
    1522type=$(git cat-file -t ${rev})
    16 echo "      from  ${rev} (${type})" >> GIT_UPDATE
     23echo "      from  ${rev} (${type})" >>  ${GIT_UPDATE}
    1724
    18 git rev-list --format=short ${GitOldRef}...${GitNewRef} > GIT_LOG
     25git rev-list --format=short ${GitOldRef}...${GitNewRef} >  ${GIT_LOG}
    1926
    20 git diff --stat ${GitNewRef} ${GitOldRef} > GIT_DIFF
     27git diff --stat ${GitNewRef} ${GitOldRef} >  ${GIT_DIFF}
Note: See TracChangeset for help on using the changeset viewer.