chore: Start initializing submodules as well for deps

This commit is contained in:
Théophile Diot 2024-09-05 09:23:11 +02:00
parent 13a24b325c
commit d1f9c1af62
No known key found for this signature in database
GPG key ID: FA995104A0BA376A

View file

@ -56,6 +56,10 @@ do
do_and_check_cmd git subtree pull --prefix "src/deps/src/$id" "$url" "$commit" --squash
fi
if [ -f "src/deps/src/$id/.gitmodules" ] ; then
do_and_check_cmd git submodule init --recursive -- "src/deps/src/$id"
fi
if [ -d "src/deps/src/$id/.git" ] ; then
do_and_check_cmd rm -rf "src/deps/src/$id/.git"
fi