From d1f9c1af62da184f3c8bfdfd32f1c30282c79045 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Diot?= Date: Thu, 5 Sep 2024 09:23:11 +0200 Subject: [PATCH] chore: Start initializing submodules as well for deps --- src/deps/init_deps.sh | 4 ++++ 1 file changed, 4 insertions(+) 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