From a3173e084e2996f673521d2a0e27409fd91a4a27 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Fri, 9 Jun 2023 23:45:33 +0200
Subject: [PATCH] maint: Add to 'EXTRA_DIST' instead of overwriting it.

Reported by Mike Gran.

* gc-benchmarks/local.mk (EXTRA_DIST): Change = to +=.
---
 gc-benchmarks/local.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gc-benchmarks/local.mk b/gc-benchmarks/local.mk
index 06fb598ab..144424b29 100644
--- a/gc-benchmarks/local.mk
+++ b/gc-benchmarks/local.mk
@@ -19,7 +19,7 @@
 ##   write to the Free Software Foundation, Inc., 51 Franklin Street,
 ##   Fifth Floor, Boston, MA 02110-1301 USA
 
-EXTRA_DIST =					\
+EXTRA_DIST +=					\
   %D%/gc-profile.scm				\
   %D%/gcbench.scm				\
   %D%/guile-test.scm				\