From 3572799ea8e53342778fcf476a15e330922ca279 Mon Sep 17 00:00:00 2001
From: Daniel Neus <d.neus@sirrix.com>
Date: Thu, 14 Jul 2016 12:17:57 +0200
Subject: coverage should be checked without optimizations

---
 configure.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/configure.py b/configure.py
index 094768b0b..c3c4d8832 100755
--- a/configure.py
+++ b/configure.py
@@ -461,6 +461,9 @@ def process_command_line(args):
         options.no_optimizations = True
         options.with_debug_info = True
 
+    if options.with_coverage:
+        options.no_optimizations = True
+
     def parse_multiple_enable(modules):
         if modules is None:
             return []
-- 
cgit v1.2.3