From 23741168b109daece8bb588b9c5fb4506e7726ce Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 15 Mar 2001 08:03:31 +0000
Subject: les options passées sont prioritaires sur les -I par défaut

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

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index a58826c417..b18733f74c 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -288,7 +288,7 @@ let main () =
   (* the list of the loaded modules *)
   let main_file = create_tmp_main_file modules in
   try
-    let args = (includes ()) @ options @ tolink @ dynlink @ [ main_file ] in
+    let args = options @ (includes ()) @ tolink @ dynlink @ [ main_file ] in
     (* Now, with the .cma, we MUST use the -linkall option *)
     let command = String.concat " " ((prog^" -linkall")::args) in
     if !echo then begin print_endline command; flush Pervasives.stdout end;
-- 
cgit v1.2.3