diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-19 19:42:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-19 19:42:39 +0000 |
commit | 7a471005ed325c3329af5bbc55038a7f9db6f870 (patch) | |
tree | 591b19042e9ca29701c7f8efdd0df4e15172ec2a /src/driver | |
parent | 07d359345fe388c7126bcfd629ba19f3652e66c5 (diff) | |
download | open-axiom-7a471005ed325c3329af5bbc55038a7f9db6f870.tar.gz |
* driver/utils.c (openaxiom_build_rts_options): Fix thinko.
Diffstat (limited to 'src/driver')
-rw-r--r-- | src/driver/utils.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/driver/utils.c b/src/driver/utils.c index c319536f..e074e106 100644 --- a/src/driver/utils.c +++ b/src/driver/utils.c @@ -144,9 +144,10 @@ openaxiom_build_rts_options(openaxiom_command* command, command->rt_argc = 3; command->rt_argv = (char **) malloc(command->rt_argc * sizeof (char*)); - command->rt_argv[0] = "--noprint"; - command->rt_argv[1] = "--noinform"; - command->rt_argv[2] = "--end-runtime-options"; + command->rt_argv[0] = "--noinform"; + command->rt_argv[1] = "--end-runtime-options"; + command->rt_argv[2] = "--noprint"; + command->rt_argv[3] = "--end-toplevel-options"; break; default: |