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 <l...@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 \