diff options
author | Will Estes <wlestes@users.sourceforge.net> | 2001-10-22 14:37:43 +0000 |
---|---|---|
committer | Will Estes <wlestes@users.sourceforge.net> | 2001-10-22 14:37:43 +0000 |
commit | e9a3e26d6b589ae1e16dbba0adddac392118f59a (patch) | |
tree | 4a0eb1877db3afd659bd99d20e555f9674eccdad /main.c | |
parent | 3cb447bf293324f50a3f3556d88ccbbddce5f40a (diff) |
the last checkin was broken; millaway fixed it
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -831,7 +831,7 @@ char **argv; buf_strdefine(&userdef_buf, "YY_MAIN", "1"); break; - case OPT_NOLINE: + case OPT_NO_LINE: gen_line_dirs = false; break; @@ -873,7 +873,7 @@ char **argv; spprdflt = false; break; - case OPT_NODEFAULT: + case OPT_NO_DEFAULT: spprdflt = true; break; @@ -894,7 +894,7 @@ char **argv; program_name, flex_version ); exit( 0 ); - case OPT_NOWARN: + case OPT_NO_WARN: nowarn = true; break; |