aboutsummaryrefslogtreecommitdiffstats
path: root/Config.mk
diff options
context:
space:
mode:
authorKeir Fraser <keir.fraser@citrix.com>2010-05-06 11:07:11 +0100
committerKeir Fraser <keir.fraser@citrix.com>2010-05-06 11:07:11 +0100
commit5469342ba3a1afb6620f9a5cb5f1c8f7108245f7 (patch)
tree11e08d8f6ce4e0b09116d8f4fabb7a2fbfdc2c58 /Config.mk
parent3c82abc2945f178e00d8a588e8b043c5a9031813 (diff)
downloadxen-5469342ba3a1afb6620f9a5cb5f1c8f7108245f7.tar.gz
xen-5469342ba3a1afb6620f9a5cb5f1c8f7108245f7.tar.bz2
xen-5469342ba3a1afb6620f9a5cb5f1c8f7108245f7.zip
ocaml: Build ocaml components if configured (default to off).
Signed-off-by: Vincent Hanquez <vincent.hanquez@eu.citrix.com>
Diffstat (limited to 'Config.mk')
-rw-r--r--Config.mk1
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