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