[Xen-devel] [PATCH 1/3] stubdom: Clean extras/mini-os directory during make clean

[Daniel Kiper <daniel.kiper@xxxxxxxxxx>]

Signed-off-by: Daniel Kiper <daniel.kiper@xxxxxxxxxx>
Acked-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>
(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


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