Update dependencies in init_deps.sh

This commit is contained in:
Théophile Diot 2024-01-12 13:55:24 +00:00
parent f014a7b6d2
commit 1f867e61e6
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