diff options
author | 2018-05-29 12:22:05 -0700 | |
---|---|---|
committer | 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