diff options
author | Philipp Wollermann <philwo@google.com> | 2018-07-25 07:36:44 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-07-25 07:38:08 -0700 |
commit | 77234d691a1d8a66ee812cec30e7a378558d0cdf (patch) | |
tree | 5846e397129da9b1f2a4b33913310eb88fd65db3 /tools | |
parent | 12bb59f537d4adab7e5766d152fab4b1e8a62c83 (diff) |
Remove obsolete stuff related to JDK7 support
Closes #5626.
PiperOrigin-RevId: 205991094
Diffstat (limited to 'tools')
-rw-r--r-- | tools/jdk/BUILD | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/tools/jdk/BUILD b/tools/jdk/BUILD index 4d92e13b19..689bc138d7 100644 --- a/tools/jdk/BUILD +++ b/tools/jdk/BUILD @@ -20,24 +20,9 @@ java_host_runtime_alias(name = "current_host_java_runtime") java_toolchain_alias(name = "current_java_toolchain") -config_setting( - name = "jdk7", - values = {"define": "JAVA_VERSION=1.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' -e 's/:JavaBuilder_deploy/:VanillaJavaBuilder_deploy/' $< > $@", -) - filegroup( name = "BUILD-jdk", - srcs = select({ - ":jdk7": [":BUILD-jdk7"], - "//conditions:default": [":BUILD"], - }), + srcs = [":BUILD"], ) # This is necessary to get the *host* Java runtime. Depending on |