[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

Clean extras/mini-os directory during make clean.

Signed-off-by: Daniel Kiper <daniel.kiper@xxxxxxxxxx>
 stubdom/Makefile |    1 +
 1 file changed, 1 insertion(+)

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

Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.