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/main/java/com/google/devtools | |
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/main/java/com/google/devtools')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java b/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java index fe8bf3027f..cc8fd2f3e0 100644 --- a/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java +++ b/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java @@ -988,6 +988,7 @@ public class CppOptions extends FragmentOptions { host.fdoProfileLabel = null; host.lipoModeForBuild = LipoMode.OFF; host.inmemoryDotdFiles = inmemoryDotdFiles; + host.pruneCppInputDiscovery = pruneCppInputDiscovery; return host; } |