From 6cdc7f3211ac5b034192b73b39868a446521f792 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 9 Apr 2010 18:46:16 +0000
Subject: minor fixes to lcov build target, better contextobj testing

---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.am')

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'
-- 
cgit v1.2.3