diff options
author | 2018-01-26 05:37:58 -0800 | |
---|---|---|
committer | 2018-01-26 05:39:14 -0800 | |
commit | c026569c445a5b22903d17ea6691876c47059eba (patch) | |
tree | ae3245e8494733834dc77f6ab2fd346195235143 /.gitignore | |
parent | a59e60e4fba191b8793254c38485f781f790a607 (diff) |
Add a few options that tweak the host configuration to parallel those that do the same with the target one.
I'm not exactly happy at this development, but we already have a host of --host_* options so it's only incremental badness.
Fixes #4484.
RELNOTES: None.
PiperOrigin-RevId: 183375817
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions