diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-25 19:10:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-25 19:10:34 +0000 |
| commit | 9f67551cf99ccf2f1d6324f703b07596f5120d50 (patch) | |
| tree | f83a243d4f06b823f70ccafa105d2d960e5f097a /src | |
| parent | 34e65d98b111655f53e73f8ed59589d5b58ab98c (diff) | |
| download | open-axiom-9f67551cf99ccf2f1d6324f703b07596f5120d50.tar.gz | |
* utils/command.cc (print_usage): Document --verbose.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/utils/command.cc | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 73a80493..5d8b1a3e 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net> + * utils/command.cc (print_usage): Document --verbose. + +2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject): Define Rep, do not use base-domain form. diff --git a/src/utils/command.cc b/src/utils/command.cc index f007d517..58ff52ab 100644 --- a/src/utils/command.cc +++ b/src/utils/command.cc @@ -278,6 +278,8 @@ static void print_usage(void) { print_line("General options:"); print_line(" --help Print this information and exit."); print_line(" --version Print OpenAxiom version and exit."); + print_line(" --verbose Make the system more talkative."); + print_line(" The interpreter echos commands and prints results as if in toplevel read-eval-print loop."); print_line(" --script Execute the file argument as a Spad script."); print_line(" If specified, this option should be last before file argument."); print_line(" --compile Invoke the compiler on the file argument."); |