Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 21:13:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

bootstrap-android: always run sdkmanager

Browse source 
It is quick when already up to date
This commit is contained in:
Simon Sapin 2018-06-28 16:22:15 +02:00
parent aa1c3cea2f
commit 65122b10d3
1 changed files with 38 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

1
python/servo/bootstrap_commands.py
View file

@ -108,7 +108,6 @@ class MachCommands(CommandBase):
ndk_path = download(ndk.format(system=system, arch=arch), "ndk", flatten=True)
tools_path = download(tools.format(system=system), "sdk")
if update or not path.isdir(path.join(tools_path, "platform-tools")):
subprocess.check_call([
path.join(tools_path, "tools", "bin", "sdkmanager"),
"platform-tools",