diff --git a/utils/pull_subtrees.sh b/utils/pull_subtrees.sh index bcb3a8b57067df8dd0f7f4a52c0bae5c0dbb45cb..c01be3b4fc3a84c0734a16bda90d15ae4bfc1375 100755 --- a/utils/pull_subtrees.sh +++ b/utils/pull_subtrees.sh @@ -26,7 +26,7 @@ if [[ $depsCount > 0 ]]; then echo "---- Pull ${aDeps[$i, name]} ----" # Ajoute le dépôt - git subtree pull --prefix src/${aDeps[$i, name]} --squash --q "git@gitlab.veremes.net:Development/vitis_apps/sources/${aDeps[$i, name]}.git" master + git subtree pull --prefix src/${aDeps[$i, name]} --squash --ignore-joins "git@gitlab.veremes.net:Development/vitis_apps/sources/${aDeps[$i, name]}.git" master fi done fi