From: Daniel Stenberg <daniel@haxx.se>
Date: Mon, 23 May 2016 08:07:48 +0000 (+0200)
Subject: contrithanks.sh: exclude existing names case insensitively
X-Git-Tag: curl-7_49_1~10
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=fcfe39236ae2e55f1d232f8677b1eafb716aaad6;p=thirdparty%2Fcurl.git

contrithanks.sh: exclude existing names case insensitively
---

diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh
index 63073042b0..6ca7e832ed 100755
--- a/scripts/contrithanks.sh
+++ b/scripts/contrithanks.sh
@@ -54,4 +54,4 @@ sed 's/^ *//'
 sed -f ./docs/THANKS-filter | \
 grep -a ' ' | \
 sort -fu | \
-grep -axvf ./docs/THANKS
+grep -aixvf ./docs/THANKS