[FFmpeg-devel] [PATCH] coverage: filter /usr/include*, not entire /usr*
foobaz86 at gmail.com
Tue Aug 1 03:09:02 EEST 2017
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.
> Nicolas George
More information about the ffmpeg-devel