diff options
-rw-r--r-- | gcc/config.gcc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/config.gcc b/gcc/config.gcc index 24f904455b0..eb41faf74ba 100644 --- a/gcc/config.gcc +++ b/gcc/config.gcc @@ -379,7 +379,8 @@ i[34567]86-*-*) avx512vbmivlintrin.h avx5124fmapsintrin.h avx5124vnniwintrin.h avx512vpopcntdqintrin.h clwbintrin.h mwaitxintrin.h clzerointrin.h pkuintrin.h sgxintrin.h cetintrin.h - gfniintrin.h cet.h" + gfniintrin.h cet.h avx512vbmi2intrin.h + avx512vbmi2vlintrin.h" ;; x86_64-*-*) cpu_type=i386 @@ -404,7 +405,8 @@ x86_64-*-*) avx512vbmivlintrin.h avx5124fmapsintrin.h avx5124vnniwintrin.h avx512vpopcntdqintrin.h clwbintrin.h mwaitxintrin.h clzerointrin.h pkuintrin.h sgxintrin.h cetintrin.h - gfniintrin.h cet.h" + gfniintrin.h cet.h avx512vbmi2intrin.h + avx512vbmi2vlintrin.h" ;; ia64-*-*) extra_headers=ia64intrin.h |