On Thu, Aug 20, 2015 at 10:14:16 -0800, Lou wrote:
> Feature requests are better suited for the bug tracker. They will
> likely be forgotten here on this mailing list.
>
> Better yet, send a patch to ffmpeg-devel.
I've been meaning to sign up for some time, but I'm currently too lazy
to fix my mail filters first (traffic is too high for me). And too lazy
to format this trivial patch with git-send-patch right now. So, I'm
attaching it just for reference here.
(I'm not the OP.)
Moritz
diff -ur ffmpeg-snapshot-2015-08-26/configure
ffmpeg-snapshot-2015-08-26-list-programs/configure
--- ffmpeg-snapshot-2015-08-26/configure 2015-08-26 19:20:03.000000000
+0200
+++ ffmpeg-snapshot-2015-08-26-list-programs/configure 2015-08-27
16:39:28.000000000 +0200
@@ -5952,6 +5952,10 @@
echo "random seed ${random_seed}"
echo
+echo "Enabled programs:"
+print_enabled '' $PROGRAM_LIST | print_3_columns
+echo
+
echo "External libraries:"
print_enabled '' $EXTERNAL_LIBRARY_LIST | print_3_columns
echo
_______________________________________________
ffmpeg-user mailing list
[email protected]
http://ffmpeg.org/mailman/listinfo/ffmpeg-user
