diff options
| author |  cushon <cushon@google.com> | 2018-08-08 09:09:08 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-08-08 09:10:56 -0700 |
| commit | 30c601dc13d9e1b40a57434c022c888c7578cc56 (patch) | |
| tree | 32827f2553c7cc637088eeec7bd5199068b6dcfb /src/main/java/com/google/devtools/build/lib/rules/android/AndroidBinary.java | |
| 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/android/AndroidBinary.java')
0 files changed, 0 insertions, 0 deletions