diff options
author | Colin Cross <ccross@android.com> | 2020-06-23 10:22:49 -0700 |
---|---|---|
committer | Colin Cross <ccross@android.com> | 2020-06-23 14:45:04 -0700 |
commit | bca9028825d3130762e2b9cb6de4a8a7f85010b6 (patch) | |
tree | 6b200f746380ec18204892a0011d5af84a272050 /scripts/lint-project-xml.py | |
parent | 205a504053505699fbf19bb38ec07f8674a8fb1b (diff) |
Set ANDROID_SDK_HOME when running lint
Lint tries to create ~/.android, set ANDROID_SDK_HOME to keep it
from attempting to write to the home directory, which may not be
writable.
Test: run lint
Bug: 159676171
Change-Id: I16375b88d309a8fa416b3a8efeabe15759889ae3
Merged-In: I16375b88d309a8fa416b3a8efeabe15759889ae3
(cherry picked from commit 977b6a822d4239c6af060340c1670582c6af647d)
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions