Add missing gcc/config.gcc hunks from r255121.

From-SVN: r255132

diff --git a/gcc/config.gcc b/gcc/config.gcc
index 24f904455b0b49e1a9944b0fcbf112316fb1c57e..eb41faf74ba33d26d15b217703574f7e1e9ca1dd 100644 (file)
--- 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