On Mon, 2015-02-02 at 15:01 +0000, Ian Campbell wrote:
> On Mon, 2015-02-02 at 12:59 +0000, Wei Liu wrote:
> > Provide mini-os url and revision in Config.mk
> > 
> > Introduce Makefile.mini-os which contains mini-os specific targets.
> 
> I'm not sure it has enough content to warrant that, those two targets
> could easily be inlined.
> 
> > +ifeq ($(wildcard $(MINI_OS)/Config.mk),)
> > +$(error Please run `make mini-os-dir' in top-level directory)
> > +endif
> 
> This makes me think that maybe my earlier suggestion to move the clone
> under stubdom/ might be better done right away.
> 
> In fact, that would avoid the need to play tricks with renaming extras/
> too, since you could build both for a commit.

Retracted after reponse to my earlier suggestion...

> 
> Ian.
> 
> 
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> http://lists.xen.org/xen-devel



_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to