diff options
| -rw-r--r-- | tools/jdk/BUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/jdk/BUILD b/tools/jdk/BUILD index cbfe203cda..1fe912bc06 100644 --- a/tools/jdk/BUILD +++ b/tools/jdk/BUILD @@ -9,7 +9,7 @@ genrule( name = "BUILD-jdk7", srcs = [":BUILD"], outs = ["BUILD.jdk7"], - cmd = "sed -e 's/_version = \"8\"/_version = \"7\"/' -e 's/javac_supports_workers = 1/javac_supports_workers = 0/' -e 's/forcibly_disable_header_compilation = 0/forcibly_disable_header_compilation = 1/g' $< > $@", + cmd = "sed -e 's/_version = \"8\"/_version = \"7\"/' -e 's/javac_supports_workers = 1/javac_supports_workers = 0/' $< > $@", ) filegroup( @@ -113,7 +113,7 @@ java_toolchain( bootclasspath = [":bootclasspath"], encoding = "UTF-8", extclasspath = [":extclasspath"], - forcibly_disable_header_compilation = 0, + forcibly_disable_header_compilation = 1, genclass = ["//tools/jdk:GenClass_deploy.jar"], header_compiler = ["//tools/jdk:turbine_deploy.jar"], ijar = ["@bazel_tools//tools/jdk:ijar"], |