1 files changed, 1 insertions, 0 deletions

diff --git a/Config.mk b/Config.mk
index 0552505757..b42ca40438 100644
--- a/Config.mk
+++ b/Config.mk
@@ -163,6 +163,7 @@ XENSTAT_XENTOP     ?= y
 VTPM_TOOLS         ?= n
 LIBXENAPI_BINDINGS ?= n
 PYTHON_TOOLS       ?= y
+OCAML_TOOLS        ?= n
 CONFIG_MINITERM    ?= n
 CONFIG_LOMOUNT     ?= n