1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure
index 8840027d64..5913090f7e 100755
--- a/configure
+++ b/configure
@@ -5958,6 +5958,10 @@ test -n "$random_seed" &&
     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