Salome HOME
projects
/
tools
/
sat.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7d36792
)
skip compilation of fixed products
author
crouzet
<nicolas.crouzet@cea.fr>
Mon, 14 Jan 2019 10:36:34 +0000
(11:36 +0100)
committer
crouzet
<nicolas.crouzet@cea.fr>
Mon, 14 Jan 2019 10:36:34 +0000
(11:36 +0100)
commands/compile.py
patch
|
blob
|
history
diff --git
a/commands/compile.py
b/commands/compile.py
index 4cb7586218756eedde4fa3f3cc84faa56f28fc66..dc21fb010eff15a954152a17c1ce6a5cba854c42 100644
(file)
--- a/
commands/compile.py
+++ b/
commands/compile.py
@@
-640,6
+640,8
@@
def run(args, runner, logger):
# Get the list of products to treat
products_infos = src.product.get_products_list(options, runner.cfg, logger)
+ products_infos = [pi for pi in products_infos if not(
+ src.product.product_is_fixed(pi[1]))]
if options.fathers:
# Extend the list with all recursive dependencies of the given products