Re: [Xen-devel] [PATCH] stubdom: remove mini-os when doing make distclean

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

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@xxxxxxxx>

Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>

(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:

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