diff --git a/scripts/source-maintenance.sh b/scripts/source-maintenance.sh index 68946e0d7f0..bbe537c9bd7 100755 --- a/scripts/source-maintenance.sh +++ b/scripts/source-maintenance.sh @@ -291,7 +291,7 @@ checkMakeNamedErrorDetails () problems=1 # assume there are problems until proven otherwise options='-h --only-matching --extended-regexp' - git grep $options 'MakeNamedErrorDetail[(]".*?"[)]' src | + git grep $options 'MakeNamedErrorDetail[(]"[^"]*"[)]' src | sort | uniq --count > \ MakeNamedErrorDetail.tmp