diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2012-12-14 05:37:32 +0400 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2012-12-14 05:37:32 +0400 |
commit | a286b04dafc43b9bd1fb884c3c87d636b399bd3e (patch) | |
tree | fc1a1a86969b5f0f957e79703ddd5e8b6cce0e2b /configure | |
parent | a974adc3c78c4bcf62dd2a10ff1ae8eae6fa29ef (diff) |
configure/arm: print if thumb mode is enabled
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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}" |