Update dependencies and fix cloning issue

This commit is contained in:
Théophile Diot 2024-01-12 14:17:21 +00:00
parent 32f111b535
commit 2b81d69db7
No known key found for this signature in database
GPG key ID: 248FEA4BAE400D06

View file

@ -52,14 +52,8 @@ do
post="yes"
else
echo "⚠️ Skipping clone of $url because target directory is already present"
# Check if the commit is already present in the subtree
if [ "$(echo "$(git log -n 1 --oneline HEAD)" | cut -c1-9)" != "$(echo "$commit" | cut -c1-9)" ] ; then
echo " Updating ${name} from $url at commit/version $commit"
do_and_check_cmd git subtree pull --prefix "src/deps/src/$id" "$url" "$commit" --squash
post="yes"
else
echo "⚠️ Skipping update of $url because commit/version $commit is already the latest"
fi
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