* config.gcc (i[34567]86-*-*): Remove one duplicate gfniintrin.h
commit297f4ddf2d00938626e5a6894e3d44ce7f06735f
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 14 Jan 2018 16:19:14 +0000 (14 16:19 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 14 Jan 2018 16:19:14 +0000 (14 16:19 +0000)
treeae5845e2439531c7401e6b58293c3e26f7cc5a3b
parent42e387a62ad5182f6523bfb28421a827dea7f208
* config.gcc (i[34567]86-*-*): Remove one duplicate gfniintrin.h
entry from extra_headers.
(x86_64-*-*): Remove two duplicate gfniintrin.h entries from
extra_headers, make the list bitwise identical to the i?86-*-* one.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@256667 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/config.gcc