diff options
author | 2018-08-08 09:09:08 -0700 | |
---|---|---|
committer | 2018-08-08 09:10:56 -0700 | |
commit | 30c601dc13d9e1b40a57434c022c888c7578cc56 (patch) | |
tree | 32827f2553c7cc637088eeec7bd5199068b6dcfb /src/main/java/com/google/devtools/build/lib/rules | |
parent | 3862a807881e423daf88eb47286077e99d4bac08 (diff) |
Don't use @local_jdk for jni headers
instead, read the heads from the configured java runtime, so the values
track with changes to --javabase.
See #5594
PiperOrigin-RevId: 207894086
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules')
0 files changed, 0 insertions, 0 deletions