[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12899: Build failure from latest master
|
From: |
Paul Eggert |
|
Subject: |
bug#12899: Build failure from latest master |
|
Date: |
Thu, 15 Nov 2012 13:03:13 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:16.0) Gecko/20121029 Thunderbird/16.0.2 |
Thanks, wouldn't the following be a bit cleaner,
since MAINTAINERCLEANFILES contains BUILT_SOURCES?
diff --git a/src/local.mk b/src/local.mk
index 02a9bf5..ead3b8b 100644
--- a/src/local.mk
+++ b/src/local.mk
@@ -385,7 +385,7 @@ src/dircolors.h: src/dcgen src/dircolors.hin
# built only if absent. It is not cleaned because we don't want to
# insist that maintainers must build on hosts that support the widest
# known ints (currently 128-bit).
-MAINTAINERCLEANFILES += $(top_srcdir)/src/primes.h
+BUILT_SOURCES += $(top_srcdir)/src/primes.h
$(top_srcdir)/src/primes.h:
$(MAKE) src/make-prime-list
$(AM_V_GEN)rm -f $@ address@hidden