Add the run command

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

diff --git a/src/compilation.py b/src/compilation.py
index 86775f4756b984a7468886e847ccff4681bc8c33..153d74850d505d4ba8033d9e8e2946d2b1c587e4 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -84,7 +84,7 @@ class Builder:
 
         # add products in depend and opt_depend list recursively
         environ_info = src.product.get_product_dependencies(self.config, self.product_info)
-        environ_info.append(self.product_info.name)
+        #environ_info.append(self.product_info.name)
 
         # create build environment
         self.build_environ = src.environment.SalomeEnviron(self.config, src.environment.Environ(dict(os.environ)), True)