diff options
Diffstat (limited to 'src/main/cpp/blaze.cc')
-rw-r--r-- | src/main/cpp/blaze.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/cpp/blaze.cc b/src/main/cpp/blaze.cc index 12c7cdd1a2..9e7d979855 100644 --- a/src/main/cpp/blaze.cc +++ b/src/main/cpp/blaze.cc @@ -536,6 +536,11 @@ static vector<string> GetArgumentArray( } else { result.push_back("--noexpand_configs_in_place"); } + if (!globals->options->digest_function.empty()) { + // Only include this if a value is requested - we rely on the empty case + // being "null" to set the programmatic default in the server. + result.push_back("--digest_function=" + globals->options->digest_function); + } if (globals->options->oom_more_eagerly) { result.push_back("--experimental_oom_more_eagerly"); } else { |