stubdom: don't leak include dir on distclean

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>

diff --git a/Makefile b/Makefile
index 26811943f5ab3ddf2388b4dd94f340429977e9cf..039a1a44dd7537ea6a4a8aef972672eb5b079edf 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -390,6 +390,7 @@ crossclean: clean
        rm -fr libxc-$(XEN_TARGET_ARCH) ioemu
        rm -f mk-headers-$(XEN_TARGET_ARCH)
        rm -fr ocaml-$(XEN_TARGET_ARCH)
+       rm -fr include
 
 # clean patched sources
 .PHONY: patchclean