diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-04-09 18:46:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-04-09 18:46:16 +0000 |
| commit | 6cdc7f3211ac5b034192b73b39868a446521f792 (patch) | |
| tree | ff118c60ec4214f1103bde46ad74ff4b71c82942 /Makefile.am | |
| parent | e390a4207d3858927354b3d4b40d540c00f8064c (diff) | |
minor fixes to lcov build target, better contextobj testing
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index c10bc1263..57e9e3af2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -55,4 +55,4 @@ lcov18: all $(GENHTML) -o "@top_srcdir@/html" cvc4-coverage-public.info cvc4-coverage-black.info cvc4-coverage-white.info @echo "De-mangling C++ symbols..." @find "@top_srcdir@/html" -name '*.func.html' | \ - xargs perl -pi -e 's,(<td class="coverFn"><a href=".*">)(.*)(</a></td>),$$_=`c++filt "$$2"`;chomp;print "$$1<xmp>$$_</xmp>$$3";,e' + xargs perl -ni -e 's,(<td class="coverFn"><a href=".*">)(.*)(</a></td>.*),$$_=`c++filt "$$2"`;chomp;print "$$1<xmp>$$_</xmp>$$3\n";,e || print' |