summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2016-05-23 10:07:48 +0200
committerDaniel Stenberg <daniel@haxx.se>2016-05-23 10:07:48 +0200
commitfcfe39236ae2e55f1d232f8677b1eafb716aaad6 (patch)
treed6e11b6b6d91a453ddcb2a723e2d24a5e9edf469 /scripts
parent9816c67b9bcfcd696931293c656ccb0b3604b566 (diff)
downloadcurl-fcfe39236ae2e55f1d232f8677b1eafb716aaad6.tar.gz
contrithanks.sh: exclude existing names case insensitively
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/contrithanks.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh
index 63073042b..6ca7e832e 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