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 <[email protected]>
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 [email protected] http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
