From d44f903447df31290ecbc86328b0a0996a8d2093 Mon Sep 17 00:00:00 2001
From: Joris Vaillant <joris.vaillant@inria.fr>
Date: Mon, 15 Jan 2024 12:00:33 +0100
Subject: [PATCH] dist: Fix how submodules are found

---
 git-archive-all.sh | 23 +++++++++++++++++------
 1 file changed, 17 insertions(+), 6 deletions(-)

diff --git a/git-archive-all.sh b/git-archive-all.sh
index 5d5003317..011dde8d5 100755
--- a/git-archive-all.sh
+++ b/git-archive-all.sh
@@ -187,12 +187,23 @@ superfile=`head -n 1 $TMPFILE`
 if [ $VERBOSE -eq 1 ]; then
     echo -n "looking for subprojects..."
 fi
-# find all '.git' dirs, these show us the remaining to-be-archived dirs
-# we only want directories that are below the current directory
-find . -mindepth 2 -name '.git' -type d -print | sed -e 's/^\.\///' -e 's/\.git$//' >> $TOARCHIVE
-# as of version 1.7.8, git places the submodule .git directories under the superprojects .git dir
-# the submodules get a .git file that points to their .git dir. we need to find all of these too
-find . -mindepth 2 -name '.git' -type f -print | xargs grep -l "gitdir" | sed -e 's/^\.\///' -e 's/\.git$//' >> $TOARCHIVE
+
+# Find all submodules
+# git submodule status --recursive can have the following output:
+# ```
+#  sha1 module_path git_describe
+# -sha1 module_path git_describe
+# +sha1 module_path git_describe
+# Usha1 module_path git_describe
+#  ```
+# We remove the first space to standardize the output and we
+# ignore special characters (user must manage it himself)
+git submodule status --recursive | \
+  sed 's/^ //' | \
+  sed '/^-/d' | \
+  cut -d" " -f2 | \
+  xargs -I{} echo {}/ >> $TOARCHIVE
+
 if [ $VERBOSE -eq 1 ]; then
     echo "done"
     echo "  found:"