diff options
Diffstat (limited to 'stubdom')
| -rw-r--r-- | stubdom/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index 26811943f5..039a1a44dd 100644 --- a/stubdom/Makefile +++ b/stubdom/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 |