tree 12ecf015023e0e1e9698d01c82162d9574071ffd
parent 604312a9ca1c6bcd7247ec56883f8d3f3b59c7c3
parent 42807522d4d44173eac80e50acf0ca0c5ab6897b
author Treehugger Robot <treehugger-gerrit@google.com> 1547562275 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1547562275 +0000

Merge "Have the `art` script honor a pre-set `ANDROID_RUNTIME_ROOT`."