clean: Also erase the iommu-remote directory.

diff --git a/Makefile b/Makefile
index 0ce21c13f4335c591fd51bf98d8165b84b8b2fe2..d4a86e2da1239a109232d169c624713b48402e87 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -161,6 +161,7 @@ xen-dist: xen-dist-nodep xen-tools
 .PHONY: xen-clean
 xen-clean:
        if [ -e xen ]; then \
+               rm -Rf xen/tools/iommu-remote; \
                $(MAKE) -C xen clean; \
        fi