From 1a403134ff280f61677f190e4a62ae6f889c96f5 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Tue, 24 Jan 2017 09:01:59 +0000 Subject: [PATCH] update the coverity config --- debian/rules | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/rules b/debian/rules index 531b1af5..991536e3 100755 --- a/debian/rules +++ b/debian/rules @@ -211,10 +211,10 @@ override_dh_auto_configure: preconfigure -(if test $(COVERITY_ENABLE) -eq 1; then \ export PATH=$$PATH:/opt/cov-analysis/bin/; \ cov-configure --compiler clang --comptype clang; \ - cov-configure --compiler gcc-5 --comptype gcc; \ - cov-configure --compiler g++-5 --comptype gcc; \ cov-configure --compiler gcc-6 --comptype gcc; \ cov-configure --compiler g++-6 --comptype gcc; \ + cov-configure -co /usr/bin/g++-6 -- -std=c++0x -fPIC -std=c++11; \ + cov-configure -co /usr/bin/gcc-6 -- -fPIC; \ cov-configure --compiler cc --comptype gcc --template \ --xml-option append_arg:"--ppp_translator" \ --xml-option append_arg:"replace/llvm::AlignOf::Alignment/(llvm::AlignOf::Alignment)" \