From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 22 Jun 2018 19:58:13 +0000 (-0700)
Subject: Do not use git blame -C in get-authors (too many false positives).
X-Git-Tag: cvc5-1.0.0~4956
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=897f55537b84bef1dae6cc32b383c76aa2734c1f;p=cvc5.git

Do not use git blame -C in get-authors (too many false positives).
---

diff --git a/contrib/get-authors b/contrib/get-authors
index 6ee3166e2..6050e8bb6 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 -C --incremental -L $header_lines,$total_lines "$f" | \
+  git blame -w -M --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/' | \