From 1d440a57d9717b9d770a6975b2b764e9aca1f5de Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Fri, 7 Aug 2015 10:45:00 +0000
Subject: [PATCH] update the coverity configuration as the chroot switched to 
 gcc 5

---
 debian/rules | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/rules b/debian/rules
index f0de58e9..953202c2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -189,6 +189,8 @@ override_dh_auto_configure: preconfigure
 		cov-configure --compiler g++-4.8 --comptype gcc; \
 		cov-configure --compiler gcc-4.9 --comptype gcc; \
 		cov-configure --compiler g++-4.9 --comptype gcc; \
+		cov-configure --compiler gcc-5 --comptype gcc; \
+		cov-configure --compiler g++-5 --comptype gcc; \
 	fi)
 
 	# Due to bug upstream, no symlink here