Makefile: Use 'mrproper' when cleaning Xen's directory.

We weren't doing that which meant we still had the
obsoleted versions of binary that Xen pulls - such as
QEMU/SeaBIOS, etc.

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

diff --git a/Makefile b/Makefile
index 896efee668de94c74d36bf404adce4944d0f646a..da0840cb989f4affc760c56b9a4841c122357392 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -191,6 +191,7 @@ xen-clean:
        if [ -e xen ]; then \
                rm -Rf xen/tools/iommu-remote; \
                $(MAKE) -C xen clean; \
+               $(MAKE) -C mrproper; \
                if  [ -e xen/tools/config.h ]; then rm xen/tools/config.h; fi \
        fi