diff --git a/utils/pull_subtrees.sh b/utils/pull_subtrees.sh index 09d9703845533b4b7243e61410a4c0f3234e7067..7f9802851da7fbe5743c1c49fb9d0b8b92914feb 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]} "git@gitlab.veremes.net:Development/vitis_apps/sources/${aDeps[$i, name]}.git" master + git subtree pull --prefix src/${aDeps[$i, name]} --squash "git@gitlab.veremes.net:Development/vitis_apps/sources/${aDeps[$i, name]}.git" master fi done fi