From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 11 May 2012 19:59:04 +0000 (+0000)
Subject: fix typo in sed line
X-Git-Tag: cvc5-1.0.0~8186
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=209bc40b74ae5d65398ea7e5f76e6385d3337523;p=cvc5.git

fix typo in sed line
---

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index dddcbb38c..612cccba0 100644
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -132,7 +132,7 @@ Debug_tags.tmp Trace_tags.tmp:
 	$(AM_V_GEN)\
 	grep '\<$(@:_tags.tmp=)\(\.isOn\)\? *( *\".*\" *)' \
 		`find @srcdir@/../ -name "*.cpp" -or -name "*.h" -or -name "*.cc" -or -name "*.g"` | \
-	sed 's/^$(@:_tags.tmp=)\(.isOn\)\? *( *\"\([^"]*\)\".*/\2/;s/.*[^a-zA-Z0-9_]$(@:_tags.tmp=)\(\.isOn\)\? *( *\"\([^"]*\)\".*/\2/' | sort | uniq >"$@"
+	sed 's/^$(@:_tags.tmp=)\(\.isOn\)\? *( *\"\([^"]*\)\".*/\2/;s/.*[^a-zA-Z0-9_]$(@:_tags.tmp=)\(\.isOn\)\? *( *\"\([^"]*\)\".*/\2/' | sort | uniq >"$@"
 
 if CVC4_CLN_IMP
 libutil_la_SOURCES += \