diff options
Diffstat (limited to 'unix/main.c')
| -rw-r--r-- | unix/main.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index 5ac776fbc3..23dd4be631 100644 --- a/unix/main.c +++ b/unix/main.c @@ -233,7 +233,7 @@ void pre_process_options(int argc, char **argv) { } else if (strcmp(argv[a + 1], "compile-only") == 0) { compile_only = true; } else if (strcmp(argv[a + 1], "emit=bytecode") == 0) { - emit_opt = MP_EMIT_OPT_BYTE_CODE; + emit_opt = MP_EMIT_OPT_BYTECODE; } else if (strcmp(argv[a + 1], "emit=native") == 0) { emit_opt = MP_EMIT_OPT_NATIVE_PYTHON; } else if (strcmp(argv[a + 1], "emit=viper") == 0) { @@ -338,6 +338,9 @@ int main(int argc, char **argv) { a += 1; } else if (strcmp(argv[a], "-v") == 0) { mp_verbose_flag++; + } else if (strcmp(argv[a], "-O") == 0) { + // optimisation; sets __debug__ to False + mp_set_debug(false); } else { return usage(argv); } |