From: Wei Liu <wei.liu2@citrix.com>
Date: Tue, 24 Feb 2015 17:37:04 +0000 (+0000)
Subject: stubdom: no need to clean mini-os
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=dfb51c49f08c293833f89e5f7d2dc60fa525c562;p=people%2Fliuw%2Fstubdom.git

stubdom: no need to clean mini-os

All objects are placed inside stubdom's directories, so there is no need
to enter mini-os and clean.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Cc: Samuel Thibault <samuel.thibault@ens-lyon.org>
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/Makefile b/Makefile
index 58ca08c..6e6876b 100644
--- a/Makefile
+++ b/Makefile
@@ -504,7 +504,6 @@ 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