| Message ID | 1452156796-5207-1-git-send-email-jgross@suse.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
On Thu, 2016-01-07 at 09:53 +0100, Juergen Gross wrote: > make distclean does not remove mini-os. Do so when cleaning stubdom. > > Signed-off-by: Juergen Gross <jgross@suse.com> Acked-by: Ian Campbell <ian.campbell@citrix.com> (this is consistent with what we do for e.g. the QEMU trees). /me wonders what happens if you run make distclean in a tree unpacked from a tarball release. > --- > Makefile | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/Makefile b/Makefile > index 8a9331f..a8e9523 100644 > --- a/Makefile > +++ b/Makefile > @@ -209,6 +209,7 @@ distclean-stubdom: > ifeq (x86_64,$(XEN_TARGET_ARCH)) > XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom distclean > endif > + rm -rf extras/mini-os extras/mini-os-remote > > .PHONY: distclean-docs > distclean-docs:
On Thu, 2016-01-07 at 10:50 +0000, Ian Campbell wrote: > On Thu, 2016-01-07 at 09:53 +0100, Juergen Gross wrote: > > make distclean does not remove mini-os. Do so when cleaning stubdom. > > > > Signed-off-by: Juergen Gross <jgross@suse.com> > > Acked-by: Ian Campbell <ian.campbell@citrix.com> and applied.
diff --git a/Makefile b/Makefile index 8a9331f..a8e9523 100644 --- a/Makefile +++ b/Makefile @@ -209,6 +209,7 @@ distclean-stubdom: ifeq (x86_64,$(XEN_TARGET_ARCH)) XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom distclean endif + rm -rf extras/mini-os extras/mini-os-remote .PHONY: distclean-docs distclean-docs:
make distclean does not remove mini-os. Do so when cleaning stubdom. Signed-off-by: Juergen Gross <jgross@suse.com> --- Makefile | 1 + 1 file changed, 1 insertion(+)