From: Daniel Kiper <daniel.kiper@oracle.com>
Date: Tue, 7 May 2013 11:51:41 +0000 (+0200)
Subject: stubdom: Clean extras/mini-os directory during make clean
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=89db1a9f794315d669fefd7c678edeb8acf53ed6;p=people%2Fliuw%2Fstubdom.git

stubdom: Clean extras/mini-os directory during make clean

Signed-off-by: Daniel Kiper <daniel.kiper@oracle.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---

diff --git a/Makefile b/Makefile
index a2ac044..91e2e1a 100644
--- a/Makefile
+++ b/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