diff options
| -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 |