diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh index f60961762c..2afc30c244 100755 --- a/scripts/contrithanks.sh +++ b/scripts/contrithanks.sh @@ -70,4 +70,4 @@ cat ./docs/THANKS } | \ sed -f ./docs/THANKS-filter | \ sort -fu | \ -grep -aixvf ./docs/THANKS +grep -aixvFf ./docs/THANKS