diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-14 04:22:57 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-14 04:22:57 +0000 |
commit | 4d429676e2332f7dd8e6da16c72d1bf653c646d1 (patch) | |
tree | 86ac0a06f07a7365f7257c1bb7e05193f0063232 /src/input/f02aff.input.pamphlet | |
parent | 87ab9ee004e7f92ef7d3c79110ac4c124cea0616 (diff) | |
download | open-axiom-4d429676e2332f7dd8e6da16c72d1bf653c646d1.tar.gz |
Fix SF/2760560
* driver/utils.h (openaxiom_driver): Add openaxiom_null_driver.
Document all of them.
* driver/utils.c (print_line): New.
(print_version): Print version information.
(print_usage): Print option documentation.
(openaxiom_preprocess_arguments): Handle --help and --version.
* driver/main.c (main): Do nothing for the null driver.
* sman/sman.c (process_arguments): Accept long form of options.
Diffstat (limited to 'src/input/f02aff.input.pamphlet')
0 files changed, 0 insertions, 0 deletions