From fcfe39236ae2e55f1d232f8677b1eafb716aaad6 Mon Sep 17 00:00:00 2001 From: Daniel Stenberg Date: Mon, 23 May 2016 10:07:48 +0200 Subject: contrithanks.sh: exclude existing names case insensitively --- scripts/contrithanks.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') 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 -- cgit v1.2.3