From b70bb75b538495ae45eef61689138212d6f9ad93 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 5 May 2000 13:14:15 +0000
Subject: Ajoute option -byte

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

(limited to 'scripts')

diff --git a/scripts/coqc.ml4 b/scripts/coqc.ml4
index d0ef0c5ebc..7e70db6b40 100644
--- a/scripts/coqc.ml4
+++ b/scripts/coqc.ml4
@@ -115,6 +115,8 @@ let parse_args () =
 	bindir := d ; parse (cfiles,args) rem
     | "-bindir" :: []       ->
 	usage ()
+    | "-byte" :: rem ->
+	binary := "coqtop.byte"; parse (cfiles,args) rem
     | "-opt" :: rem ->
 	binary := "coqtop.opt"; parse (cfiles,args) rem
     | ("-?"|"-h"|"-H"|"-help"|"--help") :: _ -> usage ()
-- 
cgit v1.2.3