From: Konrad Rzeszutek Wilk Date: Tue, 10 Feb 2015 16:30:56 +0000 (-0500) Subject: Makefile: clean removes xen/dist X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=c6b0d1820bc7bdc838cdc9fd9b10317695effaf4;p=xentesttools%2Fbootstrap.git Makefile: clean removes xen/dist as well. Signed-off-by: Konrad Rzeszutek Wilk --- diff --git a/Makefile b/Makefile index 470c51d..d3df89e 100644 --- a/Makefile +++ b/Makefile @@ -192,6 +192,7 @@ endif xen-clean: if [ -e xen ]; then \ rm -Rf xen/tools/iommu-remote; \ + rm -Rf xen/dist; \ $(MAKE) -C xen clean; \ $(MAKE) -C mrproper; \ if [ -e xen/tools/config.h ]; then rm xen/tools/config.h; fi; \