Note that ccache 3.0 works with coverage options
commit5a447cc8348800c4b0288e1115e9fadcd952e66d
authorOlly Betts <olly@survex.com>
Wed, 12 Apr 2017 23:37:47 +0000 (13 11:37 +1200)
committerOlly Betts <olly@survex.com>
Wed, 12 Apr 2017 23:37:47 +0000 (13 11:37 +1200)
tree8e61be44d89f4080fc54d94c9b5fbac708b0ca0f
parentd282b129d02b0b6bbd787f95ba17a1cc70745008
Note that ccache 3.0 works with coverage options

However it supports these by disabling caching, so we might as well
continue to disable ccache in that situation ourselves until there's a
ccache version which actually caches these cases.
xapian-core/Makefile.am