Note that ccache 3.0 works with coverage options
commita656a2f6caa57dc9c445e6d02bc77db93f9b9e9f
authorOlly Betts <olly@survex.com>
Wed, 12 Apr 2017 23:37:47 +0000 (13 11:37 +1200)
committerOlly Betts <olly@survex.com>
Thu, 13 Apr 2017 07:25:31 +0000 (13 19:25 +1200)
tree4336ba7ddaba5b960b59f7bd81c5573d3ad98808
parent844e365f0ca0f8e4975f51926c2dde32c4805638
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.

(cherry picked from commit 5a447cc8348800c4b0288e1115e9fadcd952e66d)
xapian-core/Makefile.am