Add a dummy file called testHeaders to CLEANFILES.

It is created by testheaders.sh and distclean does not know about it.
The change can be reversed when testheaders.sh and its users are fixed.

diff --git a/src/TestHeaders.am b/src/TestHeaders.am
index c3da20a3ce100bbd39adb5f167c14e3a0ea9f429..bf65d3ccee6704c18cf7587e3ec73f891ad9b1c5 100644 (file)
--- a/src/TestHeaders.am
+++ b/src/TestHeaders.am
@@ -9,4 +9,10 @@ TESTS += testHeaders
 testHeaders: $(srcdir)/*.h
        $(SHELL) $(top_srcdir)/test-suite/testheaders.sh "$(CXXCOMPILE)" "$(srcdir)" || exit 1
 
+## XXX: this is only needed because testheaders.sh creates a dummy file called
+## testHeaders and distclean does not know about it.
+## Remove when testheaders.sh and its users are fixed.
+CLEANFILES += testHeaders
+
+
 .PHONY: testHeaders