skip compilation of fixed products

[tools/sat.git] / commands / compile.py

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