diff options
Diffstat (limited to 'gcc/jit/jit-playback.c')
| -rw-r--r-- | gcc/jit/jit-playback.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/jit/jit-playback.c b/gcc/jit/jit-playback.c index 9eeb2a7..c043d69 100644 --- a/gcc/jit/jit-playback.c +++ b/gcc/jit/jit-playback.c @@ -2273,10 +2273,8 @@ make_fake_args (vec <char *> *argvec, /* Aggressively garbage-collect, to shake out bugs: */ if (get_bool_option (GCC_JIT_BOOL_OPTION_SELFCHECK_GC)) { - ADD_ARG ("--param"); - ADD_ARG ("ggc-min-expand=0"); - ADD_ARG ("--param"); - ADD_ARG ("ggc-min-heapsize=0"); + ADD_ARG ("--param=ggc-min-expand=0"); + ADD_ARG ("--param=ggc-min-heapsize=0"); } if (get_bool_option (GCC_JIT_BOOL_OPTION_DUMP_EVERYTHING)) |