From 12def92b4cecdbe2fc8242bc451f4ee0d86c0eb8 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 23 Aug 2012 12:52:51 +0000
Subject: No more states/initial.coq, instead coqtop now requires Prelude.vo

 For starting a bare coqtop, the recommended option is now "-noinit"
 that skips the load of Prelude.vo. Option "-nois" is kept for
 compatibility, it is now an alias to "-noinit".

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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index d38c6475d0..a64399cd87 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -206,8 +206,6 @@ else
  PLUGINSOPT:=
 endif
 
-INITPLUGINSBEST:=$(if $(OPT),$(INITPLUGINSOPT),$(INITPLUGINS))
-
 LINKCMO:=$(CORECMA) $(STATICPLUGINS)
 LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa)
 
-- 
cgit v1.2.3