diff options
author | Dmitry Lomov <dslomov@google.com> | 2017-03-07 18:33:08 +0000 |
---|---|---|
committer | Vladimir Moskva <vladmos@google.com> | 2017-03-08 10:49:03 +0000 |
commit | 31fab2940b4cca44bb74d903cd83bc74504e9f43 (patch) | |
tree | b28bd299e3d805a5a1c3018b4bd278949cac62b4 /src/main/java/com/google/devtools/build/lib/ideinfo | |
parent | e9826b41239e106bf11283071d23f99ccd825310 (diff) |
Env.vars: server won't ignore the client env
Make the --ignore_client_env flag a no-op.
The client will pass --client_env flags to the
server even in --batch mode. This simplifies the
code as well as ensuring that the server always
uses the up-do-date client environment.
We'll gradually get rid of all System.getenv calls
in the server, because the server should always
respect the client env.
Roll forward of 149403129 with fixes.
--
PiperOrigin-RevId: 149435060
MOS_MIGRATED_REVID=149435060
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/ideinfo')
0 files changed, 0 insertions, 0 deletions