[FFmpeg-user] feature request: better message when configure doesn't build ffplay

[Moritz Barsnick]

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