From 54fa98c3833091a75d0c1afe84b42afc35452fe3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 6 Feb 2018 14:43:15 +0100
Subject: Removed superfluous check.

---
 configure | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index cda75975..081ac202 100755
--- a/configure
+++ b/configure
@@ -626,12 +626,8 @@ MANDIR=$sharedir/man
 SHAREDIR=$sharedir
 OCAML_OPT_COMP=$ocaml_opt_comp
 MENHIR_INCLUDES=$menhir_includes
-EOF
-if $merlin; then
-    cat >> Makefile.config <<EOF
 COMPFLAGS=-bin-annot
 EOF
-fi
 
 if test "$target" != "manual"; then
 cat >> Makefile.config <<EOF
-- 
cgit