summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--rjit.c25
1 files changed, 2 insertions, 23 deletions
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;