diff options
| author |  Cal Peyser <cpeyser@google.com> | 2016-12-20 23:30:40 +0000 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2016-12-21 09:48:40 +0000 |
| commit | cb9d16a09e742d8c4419773168bfed7abe6b4af5 (patch) | |
| tree | 750ee92d0a9e957a1f5535c9e99c150072e4eec0 /src/main/java/com/google/devtools/build/lib/runtime/commands/CoverageCommand.java | |
| parent | d86a12733a92954b134e5413e0d467ebc8a99d82 (diff) | |
Introduce a distinguisher for cpu value as set in --experimental_multi_cpu.
This is required for a configuration transtion to set cpu. Without a
distinguisher, such a transition will lead to two identical configurations.
--
PiperOrigin-RevId: 142603930
MOS_MIGRATED_REVID=142603930
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/commands/CoverageCommand.java')
0 files changed, 0 insertions, 0 deletions