On Mon, 14 Sep 1998, Jonathan Stone wrote:

> "make build" doesn't clobber your source tree; it's the "live" tree
> you have to worry about.  But if you set DESTDIR, you don't have to
> worry about that until you do a "make install" (with no DESTDIR).
> 
It's also a good idea to do a make includes after this as well otherwise
/usr/include is not updated. I found this out when I built my first UVM
snapshot and things like top and xosview couldn't find the UVM structures
in the headers.

Mike