Re: 3.4.0 wants to download Linux despite its presence

[Michael David Crawford <mdc@prgmr.com>]

Patrick Colp wrote:
> Doing make xen and make tools should be just fine (I do this regularly, 
> as I don't want or need Linux to be constantly rebuilt and reinstalled 
> when I'm only changing things to Xen and/or tools).

I don't know for sure, but I have the theory that "make world" will 
build things that "make xen" and "make tools" don't, which will then 
persist in being installed when later tools builds miss some things.

> Did you install them after building (make install-xen and make 
> install-tools)? I think you need to be sudo for it to install properly.

I think I tried those just a couple times, but killed them when they 
started to build the Linux kernel again.

I've been using install.sh, but that turns out not to check that all the 
required files actually exist - it just installs whatever is in 
dist/install, even if something is missing.

I have a "make world" going right now, and will do a "make install" when 
that's done.  I decided to just let it build Linux, just so I can be 
certain everything else builds.

Mike
-- 
Michael David Crawford
mdc@prgmr.com

    prgmr.com - We Don't Assume You Are Stupid.

       Xen-Powered Virtual Private Servers: http://prgmr.com/xen