CI: Fix the spell for more reliable getting the sources

diff --git a/tools/ci/get-full-sources.sh b/tools/ci/get-full-sources.sh
index 932948c3ea12733bb71e8c9fb22657e86c1f8d8b..058cab534babc0f4b53aadf8c8a8b8fe4be5e6bd 100755 (executable)
--- a/tools/ci/get-full-sources.sh
+++ b/tools/ci/get-full-sources.sh
@@ -70,8 +70,8 @@ for try in `seq $RETRIES`; do
         echo "Fetch strategy submodules succeeded" &&
         exit 0
 
-    git submodule foreach "git reset --hard HEAD && git submodule deinit --force ."
-    git submodule deinit --force .
+    git submodule foreach --recursive "git reset --hard HEAD && git submodule deinit --force -- . || true"
+    git reset --hard HEAD && git submodule deinit --force -- . || true
 done
 
 # Then we use the clean way.