Subject: Re: make install and includes vs. domestic
To: Nathan J. Williams <email@example.com>
From: Scott Reynolds <firstname.lastname@example.org>
Date: 04/13/1999 00:59:37
By the way:
> [...] they could be moved into the non-domestic
> part of the source tree and eliminate once and for all this particular
> bootstrapping problem.
This doesn't really help much, since to generate the libss headers, you'll
need compile_et. If you set DESTDIR to a non-root path and you try to
generate compile_et before the `make includes', you'll fail.