From 5e8de5b0250970b0332af9d6f697cd510c802092 Mon Sep 17 00:00:00 2001 From: Christian Van Wambeke Date: Wed, 18 Jul 2018 11:18:29 +0200 Subject: [PATCH] error if dev mode for product is incompatible with 'sub_dir' option --- commands/source.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/commands/source.py b/commands/source.py index 83c037a..f3066c4 100644 --- a/commands/source.py +++ b/commands/source.py @@ -110,6 +110,12 @@ def get_source_from_git(product_info, logger.write('\n', 5, False) sub_dir = None + + # what do we do with git tree structure and history + if is_dev and "sub_dir" in product_info.git_info: + logger.error("dev mode for product is incompatible with 'sub_dir' option") + return False + if not is_dev and "sub_dir" in product_info.git_info: sub_dir = product_info.git_info.sub_dir -- 2.30.2