diff options
author | 2018-06-04 14:26:09 -0700 | |
---|---|---|
committer | 2018-06-04 14:28:52 -0700 | |
commit | 3c87b99d8c8052c3b6d67190bca14ea89137221a (patch) | |
tree | 967671ad15143192de0b6019283506086913d279 /configure.py | |
parent | 204fcd9a002aa8678c42d076553e38d69e8724a6 (diff) |
Remove --distinct_host_configuration=false from tools/bazel.rc
Don't use --distinct_host_configuration=false by default, because it would break cross compiling, like android build and Raspberry Pi build.
Instead, we add it for builds that we know they have the same host and target platforms.
PiperOrigin-RevId: 199194260
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions