From 0bf4cd8e1c3178345a63ce5b9d80d02781d93497 Mon Sep 17 00:00:00 2001 From: Takashi Kokubun Date: Tue, 7 Mar 2023 21:21:19 -0800 Subject: Actually stop supporting those options --- rjit.c | 25 ++----------------------- 1 file changed, 2 insertions(+), 23 deletions(-) (limited to 'rjit.c') diff --git a/rjit.c b/rjit.c index 15b15a9085..ce1f8562ca 100644 --- a/rjit.c +++ b/rjit.c @@ -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; -- cgit v1.2.1