diff options
| -rw-r--r-- | src/main/cpp/startup_options.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/main/cpp/startup_options.cc b/src/main/cpp/startup_options.cc index 75fa396d29..461be46ccd 100644 --- a/src/main/cpp/startup_options.cc +++ b/src/main/cpp/startup_options.cc @@ -227,9 +227,6 @@ blaze_exit_code::ExitCode StartupOptions::ProcessArg( return blaze_exit_code::BAD_ARGV; } option_sources["max_idle_secs"] = rcfile; - } else if (GetNullaryOption(arg, "-x")) { - fprintf(stderr, "WARNING: The -x startup option is now ignored " - "and will be removed in a future release\n"); } else if (GetNullaryOption(arg, "--experimental_oom_more_eagerly")) { oom_more_eagerly = true; option_sources["experimental_oom_more_eagerly"] = rcfile; |