diff options
| -rw-r--r-- | src/Makefile.global.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index dc3f207e1c4..2d21068183b 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -481,11 +481,6 @@ GCOV = @GCOV@ LCOV = @LCOV@ GENHTML = @GENHTML@ -ifeq ($(enable_coverage),yes) -# ccache loses .gcno files -export CCACHE_DISABLE = 1 -endif - # Feature settings DEF_PGPORT = @default_port@ |