Makefile: clean removes xen/dist

as well.
Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>

diff --git a/Makefile b/Makefile
index 470c51d15a92ab82902bf7a1c9c4846dab548e9e..d3df89e8bec132e8b69d4c9450ba477a92d47a3a 100644 (file)
--- 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; \