Re: [Xen-devel] [PATCH 06/13] stubdom: Clean extras/mini-os directory during make clean

[George Dunlap <dunlapg@xxxxxxxxx>]

On Tue, May 7, 2013 at 12:51 PM, Daniel Kiper <daniel.kiper@xxxxxxxxxx> wrote:
> Clean extras/mini-os directory during make clean.
>
> Signed-off-by: Daniel Kiper <daniel.kiper@xxxxxxxxxx>

Re release:

Acked-by: George Dunlap <george.dunlap@xxxxxxxxxxxxx>

> ---
>  stubdom/Makefile |    1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/stubdom/Makefile b/stubdom/Makefile
> index a2ac044..91e2e1a 100644
> --- a/stubdom/Makefile
> +++ b/stubdom/Makefile
> @@ -498,6 +498,7 @@ clean:
>         rm -fr mini-os-$(XEN_TARGET_ARCH)-xenstore
>         rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpm
>         rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpmmgr
> +       $(MAKE) DESTDIR= -C $(MINI_OS) clean
>         $(MAKE) DESTDIR= -C caml clean
>         $(MAKE) DESTDIR= -C c clean
>         $(MAKE) -C vtpm clean
> --
> 1.7.10.4
>
>
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@xxxxxxxxxxxxx
> http://lists.xen.org/xen-devel

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