]> SALOME platform Git repositories - tools/sat.git/commitdiff
Salome HOME
bug fix for debug compilation mode
authorSerge Rehbinder <serge.rehbinder@cea.fr>
Mon, 17 Oct 2016 14:09:28 +0000 (16:09 +0200)
committerSerge Rehbinder <serge.rehbinder@cea.fr>
Mon, 17 Oct 2016 14:09:28 +0000 (16:09 +0200)
src/compilation.py

index 59970c148ea9d881f4a9f2515c9067f6962b921c..0cf9b16713353c02a0d7ef3263248767f1f6cb57 100644 (file)
@@ -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.