From 489154e71b1b64e05f4b002289480a20976d2588 Mon Sep 17 00:00:00 2001 From: Kirill Yukhin Date: Fri, 24 Nov 2017 07:39:57 +0000 Subject: [PATCH] Add missing gcc/config.gcc hunks from r255121. From-SVN: r255132 --- gcc/config.gcc | 6 ++++-- 1 file 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 -- 2.30.2