diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/driver/utils.c | 7 |
2 files changed, 8 insertions, 3 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 7b37fdad..b61f128b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2008-04-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + * driver/utils.c (openaxiom_build_rts_options): Fix thinko. + +2008-04-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/translator.boot: Cleanup. 2008-04-18 Gabriel Dos Reis <gdr@cs.tamu.edu> 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: |