diff options
author | Greg Estren <gregce@google.com> | 2016-01-30 00:08:17 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2016-02-01 09:45:56 +0000 |
commit | de1f64c0e49a67c0fa774d222e97314ae9b30b83 (patch) | |
tree | b0cb5e96ae26d4bd41077103258acd453a0d71fb /src/main/java/com/google/devtools/build/lib/profiler | |
parent | 6ca35fc0dda3ac62f4ad1850d74ba2f3189da009 (diff) |
Contractually document BuildConfiguration.Fragment as immutable and strengthen
the immutability interfaces of existing implementations.
Eventually we want all implementations to comply, but right now CppConfiguration
is a glaring exception due to FDO/LIPO support.
We don't want more exceptions to arise.
This is prep work for pre-trimming ConfigurationFragment.key's BuildOptions input
to just the options needed by the fragment. That implies fragments can be shared across configurations, so that needs to be safe.
--
MOS_MIGRATED_REVID=113408041
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/profiler')
0 files changed, 0 insertions, 0 deletions