diff options
author | ccalvarin <ccalvarin@google.com> | 2017-10-26 23:41:08 +0200 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2017-10-27 16:29:34 +0200 |
commit | b5158a9a677b149e04e844c40a01e9a9dde40783 (patch) | |
tree | 8253db60b454d720eba918751e5ec9f566f5051c /src/main/java/com/google/devtools/build/lib/runtime/AggregatedCriticalPath.java | |
parent | c67101b6fa161b6083e313835deb96f6563202d4 (diff) |
Split apart options that should only be set by the client from CommonCommandOptions.
client_env and default_override stand apart from the other common options. They can be very long, and should only be used by the environment setup. They should ideally not be passed by option at all, but in the RunRequest proto message, but for now, isolate them so that they don't clutter the common command options, which are passed all over the place.
RELNOTES: None.
PiperOrigin-RevId: 173592980
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/AggregatedCriticalPath.java')
0 files changed, 0 insertions, 0 deletions