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/ChangeLog | |
| 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/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index be6550a2..6682c239 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,17 @@ 2009-04-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + 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. + +2009-04-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + Fix SF/2757748 * hyper/Makefile.in (${OUTLIB}/htsearch): Insist on execution bit. (${OUTLIB}/presea): Likewise. |