[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] branch main updated: maint: Add to 'EXTRA_DIST' instead
From: |
Ludovic Courtès |
Subject: |
[Guile-commits] branch main updated: maint: Add to 'EXTRA_DIST' instead of overwriting it. |
Date: |
Fri, 09 Jun 2023 17:47:38 -0400 |
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 \
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Guile-commits] branch main updated: maint: Add to 'EXTRA_DIST' instead of overwriting it.,
Ludovic Courtès <=