-opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pas

charger de bytecode avec camlp4o.opt (et la compilation échoue sur
parsing/pcoq.ml4 dans ce cas)


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@850 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 1 deletions

diff --git a/configure b/configure
index b1970af29..e30e00d7e 100755
--- a/configure
+++ b/configure
@@ -81,7 +81,6 @@ while : ; do
                   arch=$2
 		  shift;;
     -opt|--opt) bytecamlc=ocamlc.opt
-                camlp4o=camlp4o.opt
                 nativecamlc=ocamlopt.opt;;
     -byte-only|-byteonly|--byteonly|--byte-only) best_compiler=byte;;
     -debug|--debug) coq_debug_flag=-g;;