diff options
author | 2017-06-30 13:41:19 +0200 | |
---|---|---|
committer | 2017-07-03 09:04:54 +0200 | |
commit | 86c9d942452d82a479d499ffe61695a983f16bba (patch) | |
tree | 6cfba810a9cfa6e1d64df2e894c310b2f9247ad4 /src/main/java/com/google/devtools | |
parent | e3312d97ab356d71cc5b6965de80b2189d547b80 (diff) |
//src:derived_java_srcs: use jar from JAVABASE instead of PATH
The genrule //src:derived_java_srcs so far assumed to find the
needed tool jar(1) on PATH. This, however, is not true in all
setups. Instead, use jar from JAVABASE, which should be the correct
toolchain to be used on the execution platform. Fixes #3284.
Change-Id: I1f972f819786b511237c448a6c57484a76f4118b
PiperOrigin-RevId: 160634222
Diffstat (limited to 'src/main/java/com/google/devtools')
0 files changed, 0 insertions, 0 deletions