diff options
author | Michael Staib <mstaib@google.com> | 2015-07-15 13:50:28 +0000 |
---|---|---|
committer | Kristina Chodorow <kchodorow@google.com> | 2015-07-16 08:14:28 +0000 |
commit | 4c568437c9c51657c672209673c65b679df238cc (patch) | |
tree | b65f59e0f7ea74e3db4ac24adafe023b472160d8 /src/main/java/com/google/devtools/build/lib/profiler/ProfilePhaseStatistics.java | |
parent | 39ad966bd9706d1f70fa02c10bd04020500b55d1 (diff) |
Move Jack's tools into AndroidSdkProvider.
This also eliminates the JackRule, which is no longer necessary, as its sole
purpose was to allow Jack's tools to be found. This is now part of
AndroidSdkProvider, like all other Android tools.
For now, the new attributes on android_sdk are optional and default to their
old values. In the future, the new attributes will become mandatory with no
defaults, like the other attributes on that rule.
Also fixes a bug where errors found during AndroidCommon.initJava would not
result in a null return from init, previously obscured by the early return
from initJack.
--
MOS_MIGRATED_REVID=98305022
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/profiler/ProfilePhaseStatistics.java')
0 files changed, 0 insertions, 0 deletions