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

Nicolas George george at nsup.org
Tue Aug 1 00:06:01 EEST 2017

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.


  Nicolas George
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Digital signature
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20170731/ab9387ad/attachment.sig>

More information about the ffmpeg-devel mailing list