tree 5a6913cbd6820b25b9491d7917c24504297fb115
parent 469aa7e4e356086d84be4a3344b0b05339c694fd
author Benjamin Peterson <benjamin@python.org> 1593680482 -0700
committer Copybara-Service <copybara-worker@google.com> 1593680544 -0700

If there's no system JDK, point @local_jdk safely to an empty directory.

Previously, if there was no system JDK, `@local_jdk` would point to the main workspace. This could lead to the globs in the local JDK BUILD file picking up unexpected files from the main workspace, including the Bazel output tree. Instead, point `@local_jdk` to an empty directory in the embedded tools reserved for this purpose.

Fixes https://github.com/bazelbuild/bazel/issues/7342.

Closes #11658.

PiperOrigin-RevId: 319374610