On Sun, Oct 01, 2017 at 07:55:29PM -0300, James Almer wrote: > Do it during install instead, like with the libraries. > > There's no benefit making a stripped copy of the CLI tools in the > build folder. Doing it during install saves build time and storage > space. > > Signed-off-by: James Almer <jamr...@gmail.com>
Iam not sure this is a good idea the build binaries and installed binaries would differ, thats bound to lead to some confusion and problems [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB Republics decline into democracies and democracies degenerate into despotisms. -- Aristotle
signature.asc
Description: Digital signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel