From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 25 Mar 2019 18:39:17 +0000 (-0700)
Subject: get-authors: Readd option -C to git blame command.
X-Git-Tag: cvc5-1.0.0~4215
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bb5553d4d19cd3373c99062e508c8cef8686e00d;p=cvc5.git

get-authors: Readd option -C to git blame command.
---

diff --git a/contrib/get-authors b/contrib/get-authors
index 6050e8bb6..6ee3166e2 100755
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -30,7 +30,7 @@ while [ $# -gt 0 ]; do
   fi
   ((header_lines++))
   total_lines=`wc -l "$f" | awk '{print$1}'`
-  git blame -w -M --incremental -L $header_lines,$total_lines "$f" | \
+  git blame -w -M -C --incremental -L $header_lines,$total_lines "$f" | \
     gawk '/^[0-9a-f]+ [0-9]+ [0-9]+ [0-9]+$/ {nl=$4;} /^summary .*copyright/ {nl=0} /^author / {$1=""; author=$0;} /^author-mail / {mail=$2} /^filename / {while(nl--) {print author,mail}}' | \
     sed "s,Not Committed Yet <not.committed.yet>,$gituser," | \
     sed 's/PaulMeng/Paul Meng/' | \