diff options
Diffstat (limited to 'src/driver/utils.c')
| -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: |