diff options
Diffstat (limited to 'src/driver')
-rw-r--r-- | src/driver/utils.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/driver/utils.c b/src/driver/utils.c index b3ba56e9..d0d4ca86 100644 --- a/src/driver/utils.c +++ b/src/driver/utils.c @@ -200,6 +200,7 @@ static void print_usage(void) { print_line(" --hyperdoc Start the HyperDoc component. This option is meaningful"); print_line(" only if OpenAxiom was built with graphics support."); print_line(" --no-hyperdoc Do not start the HyperDoc component."); + print_line(" --execute cmd args execute `cmd' with arguments `args'"); print_line(""); print_line("Compiler options:"); |