Regular expressions in shell scripts on MacOS are inconsistent... again. :-( Fixing...

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index f3aba34cd6044455a77ddbf8ae8a47f841877dc4..f5a3b7d00a274315d77afeb80d7c03c9801f5da0 100644 (file)
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -114,9 +114,9 @@ endif
 .PHONY: Debug_tags.tmp Trace_tags.tmp
 Debug_tags.tmp Trace_tags.tmp:
        $(AM_V_GEN)\
-       grep '\<$(@:_tags.tmp=) *( *\".*\" *)' \
+       grep '[^a-zA-Z0-9_]$(@:_tags.tmp=) *( *\".*\" *)' \
                `find @srcdir@/../ -name "*.cpp" -or -name "*.h" -or -name "*.cc" -or -name "*.g"` | \
-       sed 's/.*\<$(@:_tags.tmp=) *( *\"\([^"]*\)\".*/\1/g' | sort | uniq >"$@"
+       sed 's/.*[^a-zA-Z0-9_]$(@:_tags.tmp=) *( *\"\([^"]*\)\".*/\1/g' | sort | uniq >"$@"
 
 if CVC4_CLN_IMP
 libutil_la_SOURCES += \