diff options
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6649,6 +6649,7 @@ if enabled x86; then echo "SSSE3 enabled ${ssse3-no}" echo "AESNI enabled ${aesni-no}" echo "AVX enabled ${avx-no}" + echo "AVX2 enabled ${avx2-no}" echo "XOP enabled ${xop-no}" echo "FMA3 enabled ${fma3-no}" echo "FMA4 enabled ${fma4-no}" |