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/driver/main.c | |
| 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/driver/main.c')
| -rw-r--r-- | src/driver/main.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/driver/main.c b/src/driver/main.c index 6f758cfd..4d83853a 100644 --- a/src/driver/main.c +++ b/src/driver/main.c @@ -1,5 +1,5 @@ /* - Copyright (C) 2008, Gabriel Dos Reis. + Copyright (C) 2008-2009, Gabriel Dos Reis. All rights reserved. Redistribution and use in source and binary forms, with or without @@ -76,6 +76,8 @@ main(int argc, char* argv[]) openaxiom_preprocess_arguments(&command, argc, argv); switch (driver) { + case openaxiom_null_driver: + return 0; /* Bye. */ case openaxiom_core_driver: case openaxiom_script_driver: case openaxiom_compiler_driver: |