[Guile-commits] branch main updated: maint: Add to 'EXTRA_DIST' instead of overwriting it.

[Ludovic Courtès]

This is an automated email from the git hooks/post-receive script.

civodul pushed a commit to branch main
in repository guile.

The following commit(s) were added to refs/heads/main by this push:
     new a3173e084 maint: Add to 'EXTRA_DIST' instead of overwriting it.
a3173e084 is described below

commit a3173e084e2996f673521d2a0e27409fd91a4a27
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri Jun 9 23:45:33 2023 +0200

    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                           \