From 60d33946761a9867dd10d39a666461722f32bf72 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Fri, 24 Jan 2025 09:56:52 +0100
Subject: [PATCH] build-gnu.sh: improve the support if the stack has been
 already applied

---
 util/build-gnu.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/util/build-gnu.sh b/util/build-gnu.sh
index fda57ec78..5cd12fa2d 100755
--- a/util/build-gnu.sh
+++ b/util/build-gnu.sh
@@ -97,7 +97,14 @@ fi
 # Set up quilt for patch management
 export QUILT_PATCHES="${ME_dir}/gnu-patches/"
 cd "$path_GNU"
-quilt push -a
+
+# Check if all patches are already applied
+if [ "$(quilt applied | wc -l)" -eq "$(quilt series | wc -l)" ]; then
+    echo "All patches are already applied"
+else
+    # Push all patches
+    quilt push -a || { echo "Failed to apply patches"; exit 1; }
+fi
 cd -
 
 "${MAKE}" PROFILE="${UU_MAKE_PROFILE}"