From b10b8239b39b782439f045363df5562485e878cb Mon Sep 17 00:00:00 2001 From: crouzet Date: Mon, 14 Jan 2019 11:36:34 +0100 Subject: [PATCH] skip compilation of fixed products --- commands/compile.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/commands/compile.py b/commands/compile.py index 4cb7586..dc21fb0 100644 --- 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 -- 2.39.2