On Tue, Nov 08, 2016 at 22:32:39 +0000, Mark Thompson wrote: Good work on figuring out the culprit!
> Still wondering what can matter in the configuration... Have you tried building with Debian's options? If that also fails, you could (if you had the time) reduce them until the build stops failing. Yeah, quite a hassle, obviously. But it is indeed peculiar. Moritz _______________________________________________ ffmpeg-user mailing list ffmpeg-user@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-user To unsubscribe, visit link above, or email ffmpeg-user-requ...@ffmpeg.org with subject "unsubscribe".