diff options
| author | Peter Eisentraut | 2012-10-28 14:35:46 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2012-10-28 14:35:46 +0000 |
| commit | 4af3dda13601d859a20425e3554533fde0549056 (patch) | |
| tree | 422390127f5fb94638d65e264e8591a4b9aa2ce1 | |
| parent | 6868ed7491b7ea7f0af6133bb66566a2f5fe5a75 (diff) | |
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.
| -rw-r--r-- | src/Makefile.global.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index fbaaaf995bf..c17c4be11a3 100644 --- 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 |