diff options
| author |  Googler <noreply@google.com> | 2016-11-21 23:51:53 +0000 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2016-11-22 14:14:59 +0000 |
| commit | 7d32e255fb47bc2bb4e9ec1644ab272005758336 (patch) | |
| tree | f3b78371df1db0d32107c701ebd82a4ad985aa10 /src/main/java/com/google/devtools/build/lib/cmdline | |
| parent | baeff7fe2b192afb13c7a8b7bb40ee406c946ba7 (diff) | |
try using default bootclasspath for android desugaring if JavaCompilationInfoProvider is missing
--
MOS_MIGRATED_REVID=139842250
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/cmdline')
0 files changed, 0 insertions, 0 deletions