From 30eb4a3b42b46a347d5052fcecb321defcc02426 Mon Sep 17 00:00:00 2001 From: crouzet Date: Tue, 16 Nov 2021 13:53:19 +0100 Subject: [PATCH] utilisation de git-option quelque soit le mode dev --- commands/source.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/commands/source.py b/commands/source.py index d92ddc5..2b078cd 100644 --- a/commands/source.py +++ b/commands/source.py @@ -118,7 +118,7 @@ def get_source_from_git(config, logger.write('\n', 5, False) git_options= '' - if is_dev and "git_options" in product_info.git_info: + if "git_options" in product_info.git_info: git_options = product_info.git_info.git_options sub_dir = None -- 2.30.2