[FFmpeg-devel] [PATCH] coverage: filter /usr/include*, not entire /usr*

[foo86]

On Mon, Jul 31, 2017 at 11:06:01PM +0200, Nicolas George wrote:
> Le tridi 13 thermidor, an CCXXV, foo86 a écrit :
> > /usr* filters all sources when building in /usr/src, which is probably
> > not intended.
> 
> This is leaving /usr/local/include, and many less known directories,
> like compiler-specific includes.

I see. Consider this patch withdrawn then.

> 
> Regards,
> 
> -- 
>   Nicolas George