[Xen-changelog] [xen master] stubdom: Clean extras/mini-os directory during make clean

[patchbot@xxxxxxx]

commit 2bf87074e17e77ca761e3490e5f054175e082e5b
Author:     Daniel Kiper <daniel.kiper@xxxxxxxxxx>
AuthorDate: Tue May 7 13:51:41 2013 +0200
Commit:     Ian Campbell <ian.campbell@xxxxxxxxxx>
CommitDate: Wed May 8 12:14:39 2013 +0100

    stubdom: Clean extras/mini-os directory during make clean
    
    Signed-off-by: Daniel Kiper <daniel.kiper@xxxxxxxxxx>
    Acked-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>
---
 stubdom/Makefile |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

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

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