Changeset 7cbd7ce


Ignore:
Timestamp:
Aug 17, 2018, 4:49:17 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer
Children:
eda8175
Parents:
6e31c43
Message:

Some debug info

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/PrettyGitLogs.sh

    r6e31c43 r7cbd7ce  
    88
    99rm -f ${GIT_UPDATE}  ${GIT_LOG}  ${GIT_DIFF}
     10
     11echo "Printing git information into: "
     12echo "    ${GIT_UPDATE}"
     13echo "    ${GIT_LOG}"
     14echo "    ${GIT_DIFF}"
    1015
    1116GitOldRef=$2
Note: See TracChangeset for help on using the changeset viewer.