Subject: Re: /usr/include/machine
To: Matt Thomas <>
From: Noriyuki Soda <>
List: tech-kern
Date: 07/13/2001 02:16:41
>>>>> On Thu, 12 Jul 2001 10:15:32 -0700,
	Matt Thomas <> said:

>> If you are thinking about directory hierarchy which are shareable
>> on same ${MACHINE_CPU}, you should use platform independent
>> mailing list rather than port-arm for the discussion.

> Depends.  I'm not sure I agree.

>> I think arm ports should revive /usr/include/machine, at least until
>> consensus is made.

> I disagree.  arm is currently the test case and leaving it as is will
> cause us to find the problems and address them.

If everything worked fine, it was ok.
But the change breaks "make build" on even arm port.
So, it should be backed out, at least until the problem is solved.
Shouldn't it?