Update dependencies using git subtree pull

This commit is contained in:
Théophile Diot 2024-01-12 13:57:41 +00:00
parent 8c50be50e0
commit 9c2e7a0e98
No known key found for this signature in database
GPG key ID: 248FEA4BAE400D06

View file

@ -52,8 +52,8 @@ do
post="yes"
else
echo "⚠️ Skipping clone of $url because target directory is already present"
# echo " Updating ${name} from $url at commit/version $commit"
# do_and_check_cmd git subtree pull --prefix "src/deps/src/$id" "$url" "$commit" --squash
echo " Updating ${name} from $url at commit/version $commit"
do_and_check_cmd git subtree pull --prefix "src/deps/src/$id" "$url" "$commit" --squash
fi
if [ -d "src/deps/src/$id/.git" ] ; then