diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2016-05-23 10:07:48 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2016-05-23 10:07:48 +0200 |
| commit | fcfe39236ae2e55f1d232f8677b1eafb716aaad6 (patch) | |
| tree | d6e11b6b6d91a453ddcb2a723e2d24a5e9edf469 /scripts | |
| parent | 9816c67b9bcfcd696931293c656ccb0b3604b566 (diff) | |
contrithanks.sh: exclude existing names case insensitively
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/contrithanks.sh | 2 |
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 |