diff --git a/tools/jdk/local_java_repository.bzl b/tools/jdk/local_java_repository.bzl index 05686c70b44be7..0a9eae64308ae5 100644 --- a/tools/jdk/local_java_repository.bzl +++ b/tools/jdk/local_java_repository.bzl @@ -176,7 +176,7 @@ fail_rule( header = "Auto-Configuration Error:", message = ("Cannot find Java binary {java_binary} in {java_home}; either correct your JAVA_HOME, " + "PATH or specify Java from remote repository (e.g. " + - "--java_runtime_version=remotejdk_11") + "--java_runtime_version=remotejdk_11)") ) config_setting( name = "localjdk_setting",