diff --git a/recipes-extended/xen/xen.inc b/recipes-extended/xen/xen.inc
index 00f18238..9e354596 100644
--- a/recipes-extended/xen/xen.inc
+++ b/recipes-extended/xen/xen.inc
@@ -712,6 +712,7 @@ EXTRA_OECONF += " \
     --disable-pv-grub \
     --disable-xenstore-stubdom \
     --disable-rombios \
+    --disable-ocamltools \
     "
 
 do_configure() {