xen-project/xen
1
0 Fork 0
mirror of https://github.com/xen-project/xen.git synced 2026-10-28 02:01:24 +01:00
Code Issues Activity

stubdom: remove mini-os when doing make distclean

Browse Source 
make distclean does not remove mini-os. Do so when cleaning stubdom.

Signed-off-by: Juergen Gross <jgross@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
This commit is contained in:
Juergen Gross authored and Ian Campbell committed 2016-01-07 12:51:41 +00:00
1 parent 8345512feb
commit 5178da0a24
1 file changed
+1
Download Patch File Download Diff File Expand all files Collapse all files
Makefile
+1
View File
@@ -209,6 +209,7 @@ distclean-stubdom:
ifeq (x86_64,$(XEN_TARGET_ARCH))
XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom distclean
endif
rm -rf extras/mini-os extras/mini-os-remote
.PHONY: distclean-docs
distclean-docs:
Reference in new issue
xen-project/xen
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.

The note is not visible to the blocked user.