configure.in (i[34567]86-*-udk*): Install headers with cpio.
authorRobert Lipe <robertlipe@usa.net>
Tue, 1 Jun 1999 23:14:24 +0000 (23:14 +0000)
committerJeff Law <law@gcc.gnu.org>
Tue, 1 Jun 1999 23:14:24 +0000 (17:14 -0600)
commitfd9c643fc0cc8e7c558a1dc834b9a25d5c0696bd
tree5b16bf33fc2260d533f5c79791108c2e35edcd94
parent40defcb7aa56dd6eac6203620e88b6c9a597e292
configure.in (i[34567]86-*-udk*): Install headers with cpio.

Wed Jun  2 00:08:34 1999  Robert Lipe  <robertlipe@usa.net>
        * configure.in (i[34567]86-*-udk*): Install headers with cpio.
        * configure: Rebuilt.

From-SVN: r27291
gcc/ChangeLog
gcc/configure
gcc/configure.in