From c5471cf03d2d6aa2ba6ed9e2ce015aab1e45f536 Mon Sep 17 00:00:00 2001
From: courant
Date: Fri, 21 Apr 2000 08:50:21 +0000
Subject: Compilation pbs (coqc not finding coqtop, coqc not finding .vo when
 building states, coqc wrongly giving option -bindir to coqtop) fixed.

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

(limited to 'scripts')

diff --git a/scripts/coqc.ml4 b/scripts/coqc.ml4
index a1d64c1d25..c4d6468dd7 100644
--- a/scripts/coqc.ml4
+++ b/scripts/coqc.ml4
@@ -111,7 +111,7 @@ let parse_args () =
     | "-t" :: rem -> 
 	keep := true ; parse (cfiles,args) rem
     | "-bindir" :: d :: rem ->
-	bindir := d ; parse (cfiles,d::"-bindir"::args) rem
+	bindir := d ; parse (cfiles,args) rem
     | "-bindir" :: []       ->
 	usage ()
     | ("-?"|"-h"|"-H"|"-help"|"--help") :: _ -> usage ()
-- 
cgit v1.2.3