1 files changed, 0 insertions, 3 deletions
diff --git a/configure b/configure
index 532d0f9bf7..0cf0e83ef4 100755
--- a/configure
+++ b/configure
@@ -105,7 +105,6 @@ ocamldepexec=ocamldep
 ocamldocexec=ocamldoc
 ocamllexexec=ocamllex
 ocamlyaccexec=ocamlyacc
-ocamlmktopexec=ocamlmktop
 camlp4oexec=camlp4o
 default_typerex_wrapper="ocp-wrapper -save-types"
 
@@ -413,7 +412,6 @@ case $camldir_spec in
 	 ocamldocexec=$CAMLBIN/ocamldoc
 	 ocamllexexec=$CAMLBIN/ocamllex
 	 ocamlyaccexec=$CAMLBIN/ocamlyacc
-	 ocamlmktopexec=$CAMLBIN/ocamlmktop
 	 ocamlmklibexec=$CAMLBIN/ocamlmklib
 	 camlp4oexec=$CAMLBIN/camlp4o
 esac
@@ -1191,7 +1189,6 @@ OCAMLYACC="$ocamlyaccexec"
 # Caml link command and Caml make top command
 CAMLLINK="$bytecamlc"
 CAMLOPTLINK="$nativecamlc"
-CAMLMKTOP="$ocamlmktopexec"
 
 # Caml flags
 CAMLFLAGS=-rectypes $coq_annotate_flag