utilisation de git-option quelque soit le mode dev

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

diff --git a/commands/source.py b/commands/source.py
index d92ddc59d729895e0f0e6fe0cdee666f503337f8..2b078cda46c5360f7127a3fe5764c262d723cbd0 100644 (file)
--- 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