From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 22 Mar 2018 00:15:32 +0000 (-0700)
Subject: Ignore whitespaces and moved code for contrib/get-authors.
X-Git-Tag: cvc5-1.0.0~5220
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d3528b6db31f9bdff56bc519bbf427b2533c43b8;p=cvc5.git

Ignore whitespaces and moved code for contrib/get-authors.
---

diff --git a/contrib/get-authors b/contrib/get-authors
index c0f49fac9..a888d38f3 100755
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -31,7 +31,7 @@ while [ $# -gt 0 ]; do
   fi
   ((header_lines++))
   total_lines=`wc -l "$f" | awk '{print$1}'`
-  git blame --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/' | \