From 5f3fa7757072da08595484b4a396eda0a069cce5 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Mon, 9 Oct 2017 07:57:39 +0000 Subject: [PATCH] try a change in cov configuration to see if perf improves --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 6ec93113..e525d26f 100755 --- a/debian/rules +++ b/debian/rules @@ -251,7 +251,7 @@ override_dh_auto_configure: preconfigure cov-configure -co /usr/bin/g++-$(GCC_VERSION) --comptype gcc -- -std=c++0x -fPIC -std=c++11; \ cov-configure -co /usr/bin/gcc-$(GCC_VERSION) --comptype gcc -- -fPIC; \ cov-configure -co /usr/bin/g++-$(GCC_VERSION) --comptype gcc -- -std=c++0x -fPIC -std=c++11 -fno-exceptions; \ - cov-configure --compiler cc --comptype gcc --template \ + cov-configure -co /usr/bin/g++-$(GCC_VERSION) --comptype gcc --template \ --xml-option append_arg:"--ppp_translator" \ --xml-option append_arg:"replace/llvm::AlignOf::Alignment/(llvm::AlignOf::Alignment)" \ --xml-option append_arg:"--ppp_translator" \