diff options
author | 2015-04-27 16:34:24 +0000 | |
---|---|---|
committer | 2015-04-27 18:53:48 +0000 | |
commit | f636cedabf07d3e1fa01f79478c711717dc0d990 (patch) | |
tree | 9ff34c6af839ccd2cc568ca31bad75e9f12a7ef3 /src/main | |
parent | 0941bb9ae088dd228ad0f6b4eb4bcb28f7e28627 (diff) |
Explain extra_options more clearly.
--
MOS_MIGRATED_REVID=92152092
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/cpp/blaze_startup_options.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/cpp/blaze_startup_options.h b/src/main/cpp/blaze_startup_options.h index 95d769e83b..8bc1b093a3 100644 --- a/src/main/cpp/blaze_startup_options.h +++ b/src/main/cpp/blaze_startup_options.h @@ -166,6 +166,9 @@ class BlazeStartupOptions { // from a blazerc file, if a key is not present, it is the default. std::map<string, string> option_sources; + // This can be used for site-specific startup options. For Bazel, this is + // stubbed + // out. std::unique_ptr<StartupOptions> extra_options; // Given the working directory, returns the nearest enclosing directory with a |