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 68946e0d7f054ecc9111f8faf73e40d626e9390b..bbe537c9bd7e69e5a2d60e65873efee82c656bf4 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