diff --git a/src/deps/init_deps.sh b/src/deps/init_deps.sh index bf5c26451..233300b94 100755 --- a/src/deps/init_deps.sh +++ b/src/deps/init_deps.sh @@ -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