From c9d2695b54adce95856f781cd6a6a1f085dafd5f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 7 Apr 2003 08:34:01 +0000
Subject: BEST redondant

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3849 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 56ede000e4..00be4061f5 100644
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ GLOB=   # is "-dump-glob file" when making the doc
 COQ_XML=	# is "-xml" when building XML library
 COQOPTS=$(COQINCLUDES) $(GLOB) $(COQ_XML)
 
-BOOTCOQTOP=$(BESTCOQTOP) -boot -$(BEST) $(COQOPTS)
+BOOTCOQTOP=$(BESTCOQTOP) -boot $(COQOPTS)
 
 ###########################################################################
 # Objects files 
-- 
cgit v1.2.3