[patch] stephen's staging headers patch

[Stephen M.Webb]

On Mon, 02 Jul 2001, Benjamin Kosnik wrote:
> 
> However, some dependency tracking issues with mknumeric-limits still
> exist.

Yeah, I think I fixed that fairly soon after I posted the original patch.
A small but important change.

> After
> working with this patch, I have to say that I'd be in favor of a
> directory of soft links, not copied files: I found it a bit difficult
> to mentally switch to having my include "source" directory be the
> build directory. This is also counter to existing practice in the rest
> of the GNU toolchain and gcc/libjava etc. I found two duplicate files
> a bit confusing. 

The problem with soft links is (as far as my experience goes), they don't
support dependency tracking by timestamp.  If files are soft linked and I
change one, the timestamp of the link itself does not change, make
fails to notice the change, and things don't get rebuilt.  Of course, I haven't
tried this in practice, so I don't know if it's really a problem or not.

Stephen M. Webb