diff options
Diffstat (limited to 'gcc/config.gcc')
-rw-r--r-- | gcc/config.gcc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/config.gcc b/gcc/config.gcc index 5d0240e..58fecf7 100644 --- a/gcc/config.gcc +++ b/gcc/config.gcc @@ -458,7 +458,7 @@ i[34567]86-*-* | x86_64-*-*) avx10_2bf16intrin.h avx10_2-512bf16intrin.h avx10_2satcvtintrin.h avx10_2-512satcvtintrin.h avx10_2minmaxintrin.h avx10_2-512minmaxintrin.h - avx10_2copyintrin.h amxavx512intrin.h" + avx10_2copyintrin.h amxavx512intrin.h amxtf32intrin.h" ;; ia64-*-*) extra_headers=ia64intrin.h |