christos a00e49c200 Getopts bugs again (I'll never get this right).
- make sure that OPTIND is set correctly even in the absence of options.
- don't keep stale state between getopts calls.
1996-12-15 20:37:09 +00:00
..
1996-11-10 23:58:22 +00:00
1996-11-10 23:58:22 +00:00