diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-28 18:46:29 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-28 18:46:29 +0000 |
| commit | 623e4c71b3ec579a5933b3c65dd1da67b007f6c9 (patch) | |
| tree | 328252fd16977b39a7f95b805d8842f23f1adc18 | |
| parent | 64c703d55dc132d3acb4f7da5ab9403886f121c0 (diff) | |
Regular expressions in shell scripts on MacOS are inconsistent... again. :-( Fixing a problem with Debug_tags and Trace_tags, closes bug #281
| -rw-r--r-- | src/util/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index f3aba34cd..f5a3b7d00 100644 --- 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 += \ |