* src/getargs.c (getargs): Don't dump `--help' on unrecognized

options.
This commit is contained in:
Akim Demaille
2000-10-02 10:22:19 +00:00
parent 444c570aad
commit c33638bb30
3 changed files with 10 additions and 1 deletions

View File

@@ -1,3 +1,9 @@
2000-10-02 Akim Demaille <akim@epita.fr>
* src/getargs.c (getargs): Don't dump `--help' on unrecognized
options.
2000-10-02 Akim Demaille <akim@epita.fr>
* src/derives.c, src/print.c, src/reduce.c: To ease the