From 8c1ba14fd98d3c83ea9dcf45a48f9b35a3acb1ce Mon Sep 17 00:00:00 2001 From: Kirill Yukhin Date: Fri, 24 Nov 2017 07:39:57 +0000 Subject: Add missing gcc/config.gcc hunks from r255121. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@255132 138bc75d-0d04-0410-961f-82ee72b054a4 --- 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 -- cgit v1.2.3