]> SALOME platform Git repositories - tools/sat.git/commitdiff
Salome HOME
utilisation de git-option quelque soit le mode dev V9_8_BR V9_8_0
authorcrouzet <nicolas.crouzet@cea.fr>
Tue, 16 Nov 2021 12:53:19 +0000 (13:53 +0100)
committercrouzet <nicolas.crouzet@cea.fr>
Tue, 16 Nov 2021 12:53:19 +0000 (13:53 +0100)
commands/source.py

index d92ddc59d729895e0f0e6fe0cdee666f503337f8..2b078cda46c5360f7127a3fe5764c262d723cbd0 100644 (file)
@@ -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