ocamlbuild: remove -dllpath from coqrunbyteflags

See bug #2614.

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

1 files changed, 1 insertions, 1 deletions

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index c6e2cf0185..73d30fe701 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -264,7 +264,7 @@ let extra_rules () = begin
        (* TODO : line2 isn't completely accurate with respect to ./configure:
 	  the case of -local -coqrunbyteflags foo isn't supported *)
        let line1 =
-	 "let coqrunbyteflags = \"-dllib -lcoqrun -dllpath 'kernel/byterun'\"\n"
+	 "let coqrunbyteflags = \"-dllib -lcoqrun\"\n"
        in
        Echo (lines @ (if local then [line0;line1] else []),
 	     "coq_config.ml"));