Preserve intermediate .c files in coverage mode

The introduction of the .y -> .c pattern rule causes some .c files such
as bootparse.c to be considered intermediate files in the .y -> .c -> .o
rule chain, which make would automatically delete.  But in coverage
mode, the processing tools such as genhtml need those files, so mark
them as "precious" so that make preserves them.

diff --git a/src/Makefile.global.in b/src/Makefile.global.in
index fbaaaf995bf781841d6300ddedcdac255df12985..c17c4be11a3a38421482eaaad02d5f92e4c37643 100644 (file)
--- a/src/Makefile.global.in
+++ b/src/Makefile.global.in
@@ -329,6 +329,8 @@ GENHTML = @GENHTML@
 ifeq ($(enable_coverage),yes)
 # ccache loses .gcno files
 export CCACHE_DISABLE = 1
+# preserve intermediate .c files for genhtml
+.PRECIOUS: %.c
 endif
 
 # Feature settings