Changeset 13c98a4 for tools/PrettyGitLogs.sh

Timestamp:

Apr 24, 2019, 3:14:32 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

3c40dc2

Parents:

f85464da

Message:

Jenkins emails now use html, this push does some work to improve how they look

File:

• tools/PrettyGitLogs.sh (modified) (1 diff)

tools/PrettyGitLogs.sh

@@ -27 +27 @@
 git rev-list --format=short ${GitOldRef}...${GitNewRef} >  ${GIT_LOG}
 
-git diff --stat ${GitNewRef} ${GitOldRef} >  ${GIT_DIFF}
+git diff --stat --color ${GitNewRef} ${GitOldRef} | sed -e 's/\[32m/<span style\=\"color\: \#00AA00\;\">/g' -e 's/\[31m/<span style\=\"color\: \#AA0000\;\">/g' -e 's/\[m/<\/span>/g' >  ${GIT_DIFF}