diff options
author | John Cater <jcater@google.com> | 2018-03-02 08:11:43 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-03-02 08:13:31 -0800 |
commit | d1201c8e61ee77feabeb83da88e0eae049087a09 (patch) | |
tree | 1ca4e22c9f6d6bccf92b742856ba1f6aa629f423 /src/main/java/com/google/devtools/common/options/OptionsUsage.java | |
parent | 52ec7fb1c22afea1a172a5720ddca44d88bbdee8 (diff) |
Add execution platform information to the action key.
Needed so that actions are properly invalidated and re-run when the platform's remote execution properties change.
Fixes #4756.
Closes #4728.
Change-Id: Ia227d110c10c9aad2164cefa8a90361cc4359332
PiperOrigin-RevId: 187621349
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/OptionsUsage.java')
0 files changed, 0 insertions, 0 deletions