diff options
author | Takashi Kokubun <[email protected]> | 2023-03-07 21:21:19 -0800 |
---|---|---|
committer | Takashi Kokubun <[email protected]> | 2023-03-07 21:21:19 -0800 |
commit | 0bf4cd8e1c3178345a63ce5b9d80d02781d93497 (patch) | |
tree | 101d924eb4383a7d389962845e9efc7651f3415b /rjit.c | |
parent | 1d39d2d334f2472a1694ff861ad8c27cefea819b (diff) |
Actually stop supporting those options
Diffstat (limited to 'rjit.c')
-rw-r--r-- | rjit.c | 25 |
1 files changed, 2 insertions, 23 deletions
@@ -198,33 +198,12 @@ rjit_setup_options(const char *s, struct rjit_options *rjit_opt) if (l == 0) { return; } - else if (opt_match_noarg(s, l, "warnings")) { - rjit_opt->warnings = true; - } - else if (opt_match(s, l, "debug")) { - if (*s) - rjit_opt->debug_flags = strdup(s + 1); - else - rjit_opt->debug = true; - } - else if (opt_match_noarg(s, l, "wait")) { - rjit_opt->wait = true; - } - else if (opt_match_noarg(s, l, "save-temps")) { - rjit_opt->save_temps = true; - } - else if (opt_match(s, l, "verbose")) { - rjit_opt->verbose = *s ? atoi(s + 1) : 1; - } - else if (opt_match_arg(s, l, "max-cache")) { - rjit_opt->max_cache_size = atoi(s + 1); + else if (opt_match_noarg(s, l, "stats")) { + rjit_opt->stats = true; } else if (opt_match_arg(s, l, "call-threshold")) { rjit_opt->call_threshold = atoi(s + 1); } - else if (opt_match_noarg(s, l, "stats")) { - rjit_opt->stats = true; - } // --rjit=pause is an undocumented feature for experiments else if (opt_match_noarg(s, l, "pause")) { rjit_opt->pause = true; |