On Thu, 23 May 1996, Chris G Demetriou wrote:

> header installs are done this way (i.e. cmp then install if different)
> for all 'generated' headers (at least, that i'm aware of).

Actually, I'd like to see more of this.  It would be very nice if I
could, after applying a set of patches for instance, run a 'make' from
the /usr/src directory, see what got recompiled, and, if no running
images were involved just do a 'make install' and have only what was
changed reinstalled.

-tih
-- 
Tom Ivar Helbekkmo
tih@Hamartun.Priv.NO