diff options
author | Liam Miller-Cushon <cushon@google.com> | 2017-01-17 19:58:24 +0000 |
---|---|---|
committer | Vladimir Moskva <vladmos@google.com> | 2017-01-18 11:00:45 +0000 |
commit | 4ec02263fa630e97ce9a749a02efe9cf64838690 (patch) | |
tree | 1c8f47610296704779fd5a36361c33ed81abfb24 /src/main/java/com/google/devtools/build/lib/actions/ActionExecutionException.java | |
parent | cfc7919510586e844221d66f9665d8374578c72a (diff) |
Add an attribute to java_toolchain to forcibly disable header compilation
The attribute overrides the value of --java_header_compilation so we can enable
it by default without breaking platforms that don't support it (currently only
JDK 7 Bazel).
--
PiperOrigin-RevId: 144737908
MOS_MIGRATED_REVID=144737908
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/actions/ActionExecutionException.java')
0 files changed, 0 insertions, 0 deletions