projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95d11c1) | patch
config.gcc (i[34567]86-*-*): Remove one duplicate gfniintrin.h entry from extra_headers.
authorJakub Jelinek <jakub@redhat.com>
Sun, 14 Jan 2018 16:19:14 +0000 (17:19 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Sun, 14 Jan 2018 16:19:14 +0000 (17:19 +0100)
commit2abaf67e41d4a51354c81bca7a2f1e3a7b063c74
treeae5845e2439531c7401e6b58293c3e26f7cc5a3btree
parent95d11c1707a97883b62598aef2a6c1b86ed99c49commit | diff
config.gcc (i[34567]86-*-*): Remove one duplicate gfniintrin.h entry from extra_headers.

* 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.

From-SVN: r256667
gcc/ChangeLog diff | blob | history
gcc/config.gcc diff | blob | history