From mboxrd@z Thu Jan 1 00:00:00 1970 From: Daniel Kiper Subject: [PATCH 1/3] stubdom: Clean extras/mini-os directory during make clean Date: Wed, 24 Jul 2013 16:06:37 +0200 Message-ID: <1374674799-16465-2-git-send-email-daniel.kiper@oracle.com> References: <1374674799-16465-1-git-send-email-daniel.kiper@oracle.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1374674799-16465-1-git-send-email-daniel.kiper@oracle.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: ian.jackson@eu.citrix.com, jbeulich@suse.com, stefano.stabellini@eu.citrix.com, xen-devel@lists.xensource.com Cc: Daniel Kiper List-Id: xen-devel@lists.xenproject.org Signed-off-by: Daniel Kiper Acked-by: Samuel Thibault (based on commit 2bf87074e17e77ca761e3490e5f054175e082e5b) --- stubdom/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/stubdom/Makefile b/stubdom/Makefile index 938fc0a..e7db7b5 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -390,6 +390,7 @@ clean: rm -fr mini-os-$(XEN_TARGET_ARCH)-c rm -fr mini-os-$(XEN_TARGET_ARCH)-caml rm -fr mini-os-$(XEN_TARGET_ARCH)-grub + $(MAKE) DESTDIR= -C $(MINI_OS) clean $(CROSS_MAKE) -C caml clean $(CROSS_MAKE) -C c clean rm -fr grub-$(XEN_TARGET_ARCH) -- 1.7.10.4