config.gcc (ia64-*-*): Set extra_headers.
authorJoseph Myers <jsm28@cam.ac.uk>
Wed, 2 Jan 2002 22:50:01 +0000 (22:50 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Wed, 2 Jan 2002 22:50:01 +0000 (22:50 +0000)
commit817e13c4d9f94562586b960b38f126d410fe2392
tree6cc50fc3e63209fd1c3dcd7d4c140bfb70b1509d
parent98095e2beaa1dc8dd9c192f7e0913cd1e055c042
config.gcc (ia64-*-*): Set extra_headers.

* config.gcc (ia64-*-*): Set extra_headers.
(alpha*-dec-osf*): Likewise.  Don't use alpha/t-osf.
* config/alpha/t-osf: Remove.
* config/ia64/t-ia64 (EXTRA_HEADERS): Remove.

From-SVN: r48483
gcc/ChangeLog
gcc/config.gcc
gcc/config/alpha/t-osf [deleted file]
gcc/config/ia64/t-ia64