Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add timing for Android CI bootstrap

Browse source
This commit is contained in:
Simon Sapin 2020-01-02 15:51:24 +01:00
parent f93c03cda3
commit 56895198f4
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/taskcluster/decision_task.py
View file

@ -873,9 +873,9 @@ def android_build_task(name):
# file: NDK parses $(file $SHELL) to tell x64 host from x86 # file: NDK parses $(file $SHELL) to tell x64 host from x86
# wget: servo-media-gstreamer’s build script # wget: servo-media-gstreamer’s build script
.with_script(""" .with_script("""
apt-get update -q time apt-get update -q
apt-get install -y --no-install-recommends openjdk-8-jdk-headless file wget time apt-get install -y --no-install-recommends openjdk-8-jdk-headless file wget
./mach bootstrap-android --accept-all-licences --build time ./mach bootstrap-android --accept-all-licences --build
""") """)
) )