From 072305af13585cba340f4f925cd25102abef9fc4 Mon Sep 17 00:00:00 2001
From: Brian Anderson <andersrb@gmail.com>
Date: Sat, 14 May 2011 16:08:22 -0400
Subject: [PATCH] Remove CFG_OCAMLC_OPT

---
 Makefile.in | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index ed06cd0f13d2..d00aa30f9da1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -54,13 +54,6 @@ ifneq ($(wildcard $(CFG_GIT_DIR)),)
                      --pretty=format:'(%h %ci)')
 endif
 
-ifdef CFG_OCAMLC_OPT
-  $(info cfg: have ocaml native compiler)
-  OPT=.opt
-else ifdef CFG_OCAMLC
-  $(info cfg: have only ocaml bytecode compiler)
-endif
-
 ifdef CFG_DISABLE_VALGRIND
   $(info cfg: disabling valgrind (CFG_DISABLE_VALGRIND))
   CFG_VALGRIND :=