Salome HOME
projects
/
tools
/
sat.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Do not try to produce a launcher if there is no profile
[tools/sat.git]
/
commands
/
make.py
diff --git
a/commands/make.py
b/commands/make.py
index 745a81ee5a88979c4fb59efef662e69a331883af..a3b77cae3df16720c5703a5d029c6eb0b68934cf 100644
(file)
--- a/
commands/make.py
+++ b/
commands/make.py
@@
-121,7
+121,14
@@
def make_product(p_name_info, make_option, config, logger):
logger.write(header, 3)
logger.write("\n", 4, False)
logger.flush()
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)
# 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)