diff --git a/configure b/configure
index 7f3202e14f9bb70806e71c839b4c3701a89f3246..e21dcb6de3d6deae8258d1d58940705b1fb287d4 100755
--- a/configure
+++ b/configure
@@ -4202,6 +4202,7 @@ if enabled arm; then
     echo "ARMv6T2 enabled           ${armv6t2-no}"
     echo "VFP enabled               ${vfp-no}"
     echo "NEON enabled              ${neon-no}"
+    echo "THUMB enabled             ${thumb-no}"
 fi
 if enabled mips; then
     echo "MIPS FPU enabled          ${mipsfpu-no}"