diff options
| author |  Lukacs Berki <lberki@google.com> | 2017-01-31 13:37:31 +0000 |
|---|---|---|
| committer |  Yun Peng <pcloudy@google.com> | 2017-02-01 08:52:21 +0000 |
| commit | 0c08942935c975246cf57a434b997d1614e0c5af (patch) | |
| tree | 22b92bad4a3cb3fc0dbfb16bc0cc691e28e7af1f /src/main/java/com/google/devtools/build/lib/worker/WorkerKey.java | |
| parent | 46dacc9f9407065bc3db0938dfda97724911cee2 (diff) | |
Rename inputsExemptFromDiscovery to prunableMandatoryInputs, which seems to be a saner name.
--
PiperOrigin-RevId: 146109129
MOS_MIGRATED_REVID=146109129
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/worker/WorkerKey.java')
0 files changed, 0 insertions, 0 deletions