diff options
| author |  Googler <noreply@google.com> | 2018-05-29 12:22:05 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-05-29 12:23:20 -0700 |
| commit | 5ca4183217e44504dcd5ca4e9a336395c9369889 (patch) | |
| tree | ae3a52433bacc0f47545d01727ff9049544243d1 /src/create_embedded_tools.py | |
| parent | 5b0255956799ab54a9d5dc1a532a028356366115 (diff) | |
Propagate --experimental_prune_cpp_input_discovery to host builds. Otherwise,
host builds don't profit from it.
RELNOTES: None.
PiperOrigin-RevId: 198437467
Diffstat (limited to 'src/create_embedded_tools.py')
0 files changed, 0 insertions, 0 deletions