diff options
| author | Peter Eisentraut | 2019-09-24 08:00:56 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2019-09-24 08:00:56 +0000 |
| commit | 2e5c83acbb7b3916037b3e3a2f81ced10d413a3e (patch) | |
| tree | 3b8d37c3ca9755c2267001d6097bdad1dde51003 | |
| parent | 30d13796582fe13df0cbea1a8605d926a454d32f (diff) | |
Don't disable ccache when building with coverage support
This was working around a bug in ccache that was fixed in ccache
3.2.2 (released 2015-05-10). (Users of older ccache versions can
continue to set CCACHE_DISABLE themselves.)
Discussion: https://www.postgresql.org/message-id/[email protected]
| -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 dc3f207e1c..2d21068183 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@ |