diff -r 98e606e9d173 stubdom/Makefile
--- a/stubdom/Makefile	Tue Jul 14 14:46:04 2009 +0100
+++ b/stubdom/Makefile	Tue Jul 14 17:44:57 2009 +0200
@@ -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