Re: headerscheck ccache support

On 2025-Nov-21, Andres Freund wrote:

> On 2025-11-21 13:14:18 +0100, Álvaro Herrera wrote:

> > So how bad is the effect of the cache pollution that's now going to
> > occur?
> 
> I don't think there's any cache pollution after this change - the
> pollution the comment was referencing was that ccache's cache would be
> filled with entries for files that would *never* be used and would
> therefore be useless.

Ah, that makes sense.

> With this change the added use of ccache will just accelerate the CI
> runs, which I wouldn't consider polluting...

Sure.

-- 
Álvaro Herrera               48°01'N 7°57'E  —  https://www.EnterpriseDB.com/
"If you have nothing to say, maybe you need just the right tool to help you
not say it."                   (New York Times, about Microsoft PowerPoint)