tree edb3c79cf29905a0d718589165bbb26add6cba6a
parent efdbc9c565b5fb945996ce7854fc939d95b04d9c
author Roland Levillain <rpl@google.com> 1547556576 +0000
committer Roland Levillain <rpl@google.com> 1547557856 +0000

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

This is so that users/environments (e.g. Golem) may override the
default value set by the `art` script.

Test: Rely on Golem
Bug: 121117762
Bug: 119293618
Bug: 113373927
Change-Id: Id8c7500828d735a229a396cf77e84584862fc9b8