Ian Campbell writes ("Re: [PATCH 4/7] git-checkout.sh: use "mkdir -p""): > On Mon, 2015-02-02 at 12:59 +0000, Wei Liu wrote: > > Otherwise mkdir extras/mini-os fails because extras doesn't exist. > > > > Signed-off-by: Wei Liu <wei.l...@citrix.com> > > Acked-by: Ian Campbell <ian.campb...@citrix.com> > > As a future change perhaps we should clone mini-os under stubdom/* > somewhere instead of in extras?
Please, no. The build system under stubdom/ is very bad, and if we ever want to be able to export some built mini-os bits that don't interact with the stubdom build system, that would prevent us. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel