diff --git a/configure b/configure
index d09eec4155..509f53c328 100755
--- a/configure
+++ b/configure
@@ -3410,6 +3410,10 @@ fi
 cpu="generic"
 intrinsics="none"

+# Mark specifically enabled programs as requested.
+for prog in $PROGRAM_LIST; do
+    enabled $prog && request $prog
+done
 # configurable options
 enable $PROGRAM_LIST
 enable $DOCUMENT_LIST