commit cebda5bbe9a6b747a9e453d99f0755d16dfdbe77
author Nicolas Lopez <nlopezgi@gmail.com> Tue Aug 07 11:25:03 2018 -0400
committer GitHub <noreply@github.com> Tue Aug 07 11:25:03 2018 -0400
tree b0d4dfadf693646a231c323cd4cfcacf8d37fb35
parent 645db023f6ebed11a11734b52d1219a7b38bd7f5

fixing jdk10 java_home (#152)

configs/debian8_clang/0.3.0/BUILD

diff --git a/configs/debian8_clang/0.3.0/BUILD b/configs/debian8_clang/0.3.0/BUILD
index d189dba..f5e4242 100644
--- a/configs/debian8_clang/0.3.0/BUILD
+++ b/configs/debian8_clang/0.3.0/BUILD
@@ -16,7 +16,7 @@
 
 load(
     "//third_party/openjdk:revision.bzl",
-    "JDK_VERSION",
+    JDK_VERSION = "JDK_VERSION_DECODED",
 )
 
 java_runtime(

configs/ubuntu16_04_clang/1.0/BUILD

diff --git a/configs/ubuntu16_04_clang/1.0/BUILD b/configs/ubuntu16_04_clang/1.0/BUILD
index 27ce5df..57816eb 100644
--- a/configs/ubuntu16_04_clang/1.0/BUILD
+++ b/configs/ubuntu16_04_clang/1.0/BUILD
@@ -16,7 +16,7 @@
 
 load(
     "//third_party/openjdk:revision.bzl",
-    "JDK_VERSION",
+    JDK_VERSION = "JDK_VERSION_DECODED",
 )
 
 java_runtime(