diff options
author | Daniel Kiper <daniel.kiper@oracle.com> | 2013-05-07 13:51:41 +0200 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-05-08 12:14:39 +0100 |
commit | 2bf87074e17e77ca761e3490e5f054175e082e5b (patch) | |
tree | 9033e8ab08c0cadd06f0cca8003b54600cef1053 /stubdom | |
parent | 03b90b005939416463c79a45d91729e8a00742fa (diff) | |
download | xen-2bf87074e17e77ca761e3490e5f054175e082e5b.tar.gz xen-2bf87074e17e77ca761e3490e5f054175e082e5b.tar.bz2 xen-2bf87074e17e77ca761e3490e5f054175e082e5b.zip |
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>
Diffstat (limited to 'stubdom')
-rw-r--r-- | stubdom/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index a2ac044833..91e2e1ae96 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 |