X-Git-Url: http://git.salome-platform.org/gitweb/?a=blobdiff_plain;f=commands%2Fconfigure.py;fp=commands%2Fconfigure.py;h=2fe672c9662bfddf46e5cc82a38e4fc91ba72399;hb=941eef63102ae0968d7133997c76b34d53457612;hp=a65a5e7a254125e41bfd7b7738af209491d2c9f7;hpb=c5de353b5e8cd9fcdcf3004a4ca593ad892a3395;p=tools%2Fsat.git

diff --git a/commands/configure.py b/commands/configure.py
index a65a5e7..2fe672c 100644
--- a/commands/configure.py
+++ b/commands/configure.py
@@ -117,7 +117,14 @@ def configure_product(p_name_info, conf_option, config, logger):
     logger.write(header, 3)
     logger.write("\n", 4, False)
     logger.flush()
-    
+
+    # Do nothing if he product is not compilable
+    if ("properties" in p_info and "compilation" in p_info.properties and 
+                                        p_info.properties.compilation == "no"):
+        log_step(logger, header, "ignored")
+        logger.write("\n", 3, False)
+        return 0
+
     # Instantiate the class that manages all the construction commands
     # like cmake, make, make install, make test, environment management, etc...
     builder = src.compilation.Builder(config, logger, p_info)