From db9d0623e09b78ac843fef98db94b6de6ce904e1 Mon Sep 17 00:00:00 2001
From: Serge Rehbinder <serge.rehbinder@cea.fr>
Date: Mon, 17 Oct 2016 16:09:28 +0200
Subject: [PATCH] bug fix for debug compilation mode

---
 src/compilation.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/compilation.py b/src/compilation.py
index 59970c1..0cf9b16 100644
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -38,7 +38,6 @@ class Builder:
                  logger,
                  product_info,
                  options = src.options.OptResult(),
-                 debug_mode=False,
                  check_src=True):
         self.config = config
         self.logger = logger
@@ -48,7 +47,9 @@ class Builder:
         self.source_dir = src.Path(self.product_info.source_dir)
         self.install_dir = src.Path(self.product_info.install_dir)
         self.header = ""
-        self.debug_mode = debug_mode
+        self.debug_mode = False
+        if "debug" in self.product_info and self.product_info.debug == "yes":
+            self.debug_mode = True
 
     ##
     # Shortcut method to log in log file.
-- 
2.39.2