diff options
author | John Cater <jcater@google.com> | 2017-06-06 11:25:38 -0400 |
---|---|---|
committer | John Cater <jcater@google.com> | 2017-06-06 12:36:59 -0400 |
commit | d9223e00c18466bd286a5e400007acb78ddeb9de (patch) | |
tree | c0924b724f3ba80223a1c52c9633f4a2e4c7ddc2 /src/main/java/com/google/devtools/build/lib/profiler/statistics/TasksStatistics.java | |
parent | b16a7e10a025e7862ecfb3cdb3a38de412122f46 (diff) |
Fix automatic host platform detection to check the --host_cpu flag.
Also adds a new target_platform attribute that checks the --cpu flag.
Part of #2219.
Change-Id: Icc732917db127ac8377a7722adc70b1a722d538a
PiperOrigin-RevId: 158143095
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/profiler/statistics/TasksStatistics.java')
0 files changed, 0 insertions, 0 deletions