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

[Nicolas George]

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.

Regards,

-- 
  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>