Add README files in packages

[tools/sat.git] / src / compilation.py

diff --git a/src/compilation.py b/src/compilation.py
index 9368db92e37bf44b53e26ee825b567b82c4f6984..1ecbfaf52d533bbb3a7e1fcff07fe4add8a38d7f 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -33,7 +33,13 @@ C_COMPILE_ENV_LIST = ["CC",
 class Builder:
     """Class to handle all construction steps, like cmake, configure, make, ...
     """
-    def __init__(self, config, logger, product_info, options = src.options.OptResult(), debug_mode=False, check_src=True):
+    def __init__(self,
+                 config,
+                 logger,
+                 product_info,
+                 options = src.options.OptResult(),
+                 debug_mode=False,
+                 check_src=True):
         self.config = config
         self.logger = logger
         self.options = options
@@ -285,9 +291,9 @@ CC=\\"hack_libtool\\"%g" libtool'''
         if src.architecture.is_windows():
             command = 'msbuild RUN_TESTS.vcxproj'
         else :
-            if self.use_autotools :
+            if self.product_info.build_source=="autotools" :
                 command = 'make check'
-            else :
+            else:
                 command = 'make test'
             
         self.log_command(command)