Salome HOME
projects
/
tools
/
sat.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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