summaryrefslogtreecommitdiffstats
path: root/yacc/main.c
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-09-20 11:32:57 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-09-20 11:32:57 +0000
commit227eb530bb1c4efdf6019de417f49d93f4b6d34b (patch)
treed289f9684e9179c28e31c28107865dc742b9b463 /yacc/main.c
parent536c1a073de28b0fc64ea5974c09e55e145d343e (diff)
Suppression option -s
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'yacc/main.c')
-rw-r--r--yacc/main.c6
1 files changed, 1 insertions, 5 deletions
diff --git a/yacc/main.c b/yacc/main.c
index 783cf984f..15002e723 100644
--- a/yacc/main.c
+++ b/yacc/main.c
@@ -132,7 +132,7 @@ void set_signals()
void usage()
{
- fprintf(stderr, "usage: %s [-vs] [-b file_prefix] filename\n",
+ fprintf(stderr, "usage: %s [-v] [-b file_prefix] filename\n",
myname);
exit(1);
}
@@ -169,10 +169,6 @@ void getargs(argc, argv)
usage();
continue;
- case 'v':
- vflag = 1;
- break;
-
case 's':
sflag = 1;
break;