aboutsummaryrefslogtreecommitdiffstats
path: root/Config.mk
diff options
context:
space:
mode:
authorKeir Fraser <keir.fraser@citrix.com>2010-05-07 19:08:55 +0100
committerKeir Fraser <keir.fraser@citrix.com>2010-05-07 19:08:55 +0100
commiteb8d759136ca98b053c1fe9bb7e72aecb5a0a80d (patch)
tree84c74122120d85095b9197cfd256643154e9353e /Config.mk
parentb87c206038d5c81a34371f13a12752389642086f (diff)
downloadxen-eb8d759136ca98b053c1fe9bb7e72aecb5a0a80d.tar.gz
xen-eb8d759136ca98b053c1fe9bb7e72aecb5a0a80d.tar.bz2
xen-eb8d759136ca98b053c1fe9bb7e72aecb5a0a80d.zip
ocaml: NetBSD support and general CFLAGS cleanup
Signed-off-by: Christoph Egger <Christoph.Egger@amd.com> Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
Diffstat (limited to 'Config.mk')
-rw-r--r--Config.mk4
1 files changed, 0 insertions, 4 deletions
diff --git a/Config.mk b/Config.mk
index 903f015924..da9276f9cf 100644
--- a/Config.mk
+++ b/Config.mk
@@ -168,11 +168,7 @@ CONFIG_MINITERM ?= n
CONFIG_LOMOUNT ?= n
ifeq ($(OCAML_TOOLS),y)
-ifeq ($(CONFIG_Linux),y)
OCAML_TOOLS := $(shell ocamlopt -v > /dev/null 2>&1 && echo "y" || echo "n")
-else
-OCAML_TOOLS := n
-endif
endif
-include $(XEN_ROOT)/.config