clean auto-generated headers only on "make distclean"

because (at least on OSX) it takes a very long time to regenerate
them.

diff --git a/src/include/all.mk b/src/include/all.mk
index f2682d9ac10e3dfdced0483f1df9c7383cc71351..8224085888203804ea18ca288acababec11fd2ba 100644 (file)
--- a/src/include/all.mk
+++ b/src/include/all.mk
@@ -155,7 +155,12 @@ install: install.src.include
 clean.src.include:
        ${Q}rm -rf $(addprefix src/include/,$(HEADERS_DY))
 
-clean: clean.src.include
+#
+#  Don't remove the auto-generated headers on "make clean".
+#  Regenerating them takes a long time (at least on OSX),
+#  and they rarely change.
+#
+#clean: clean.src.include
 
 distclean.src.include: clean.src.include
        ${Q}rm -f autoconf.sed