fixing jdk10 java_home (#152)
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(
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(