diff options
author | 2016-09-16 15:44:35 +0000 | |
---|---|---|
committer | 2016-09-19 07:34:41 +0000 | |
commit | af79a3255157076962d127a6e61f1bebc7b85939 (patch) | |
tree | c463a7596b7fad97236529eac51cc8b0f268bb47 /src/main/cpp/startup_options.cc | |
parent | 5deab1e63b5d526d9851b15ac9f7484c751496ea (diff) |
Allow configuring writing of command.log
Sometimes, especially in the case of a lot of output, one may not want to write
everything twice.
--
MOS_MIGRATED_REVID=133388416
Diffstat (limited to 'src/main/cpp/startup_options.cc')
-rw-r--r-- | src/main/cpp/startup_options.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/cpp/startup_options.cc b/src/main/cpp/startup_options.cc index 5d3e9f4118..09b8eab33e 100644 --- a/src/main/cpp/startup_options.cc +++ b/src/main/cpp/startup_options.cc @@ -73,6 +73,7 @@ void StartupOptions::Init() { oom_more_eagerly_threshold = 100; command_port = 0; oom_more_eagerly = false; + write_command_log = true; watchfs = false; invocation_policy = NULL; } @@ -215,6 +216,12 @@ blaze_exit_code::ExitCode StartupOptions::ProcessArg( return blaze_exit_code::BAD_ARGV; } option_sources["experimental_oom_more_eagerly_threshold"] = rcfile; + } else if (GetNullaryOption(arg, "--write_command_log")) { + write_command_log = true; + option_sources["write_command_log"] = rcfile; + } else if (GetNullaryOption(arg, "--nowrite_command_log")) { + write_command_log = false; + option_sources["write_command_log"] = rcfile; } else if (GetNullaryOption(arg, "--watchfs")) { watchfs = true; option_sources["watchfs"] = rcfile; |