source-maintenance.sh: Fix checkMakeNamedErrorDetails on MacOS (#1885)

    'MakeNamedErrorDetail....*?...': repetition-operator operand invalid

"git grep --extended-regexp" does not support non-greedy sequences on
MacOS. Use an equivalent greedy sequence instead.

diff --git a/scripts/source-maintenance.sh b/scripts/source-maintenance.sh
index 9169914cd68bdd3c0e1bce5e9ad9c2349572b7b9..db540a22a48b8258d80458d024c787978c382f48 100755 (executable)
--- 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