[Xen-changelog] [xen master] stubdom: remove mini-os when doing make distclean

[patchbot@xxxxxxx]

commit 5178da0a246808634be2a12cd17511932ce922c3
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Thu Jan 7 09:53:16 2016 +0100
Commit:     Ian Campbell <ian.campbell@xxxxxxxxxx>
CommitDate: Thu Jan 7 12:51:41 2016 +0000

    stubdom: remove mini-os when doing make distclean
    
    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>
---
 Makefile |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

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:
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog