* [PATCH] stubdom: remove mini-os when doing make distclean
@ 2016-01-07 8:53 Juergen Gross
2016-01-07 10:50 ` Ian Campbell
0 siblings, 1 reply; 3+ messages in thread
From: Juergen Gross @ 2016-01-07 8:53 UTC (permalink / raw)
To: ian.campbell, ian.jackson, jbeulich, keir, tim, xen-devel; +Cc: Juergen Gross
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(+)
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:
--
2.6.2
^ permalink raw reply related [flat|nested] 3+ messages in thread
* Re: [PATCH] stubdom: remove mini-os when doing make distclean
2016-01-07 8:53 [PATCH] stubdom: remove mini-os when doing make distclean Juergen Gross
@ 2016-01-07 10:50 ` Ian Campbell
2016-01-07 13:25 ` Ian Campbell
0 siblings, 1 reply; 3+ messages in thread
From: Ian Campbell @ 2016-01-07 10:50 UTC (permalink / raw)
To: Juergen Gross, ian.jackson, jbeulich, keir, tim, xen-devel
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:
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] stubdom: remove mini-os when doing make distclean
2016-01-07 10:50 ` Ian Campbell
@ 2016-01-07 13:25 ` Ian Campbell
0 siblings, 0 replies; 3+ messages in thread
From: Ian Campbell @ 2016-01-07 13:25 UTC (permalink / raw)
To: Juergen Gross, ian.jackson, jbeulich, keir, tim, xen-devel
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2016-01-07 13:25 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-01-07 8:53 [PATCH] stubdom: remove mini-os when doing make distclean Juergen Gross
2016-01-07 10:50 ` Ian Campbell
2016-01-07 13:25 ` Ian Campbell
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.