diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2020-01-02 15:51:24 +0100 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2020-01-02 16:11:20 +0100 |
| commit | 56895198f418bbb366aac439eec1e6f999902f0f (patch) | |
| tree | e9b4189fd5b9b840e2d312c5a921e68ee9665007 | |
| parent | f93c03cda345fb746ff3bb5b92b86536a0ee9236 (diff) | |
| download | servo-56895198f418bbb366aac439eec1e6f999902f0f.tar.gz servo-56895198f418bbb366aac439eec1e6f999902f0f.zip | |
Add timing for Android CI bootstrap
| -rw-r--r-- | etc/taskcluster/decision_task.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/etc/taskcluster/decision_task.py b/etc/taskcluster/decision_task.py index cd452410876..6f8d41e3cb8 100644 --- a/etc/taskcluster/decision_task.py +++ b/etc/taskcluster/decision_task.py @@ -873,9 +873,9 @@ def android_build_task(name): # file: NDK parses $(file $SHELL) to tell x64 host from x86 # wget: servo-media-gstreamer’s build script .with_script(""" - apt-get update -q - apt-get install -y --no-install-recommends openjdk-8-jdk-headless file wget - ./mach bootstrap-android --accept-all-licences --build + time apt-get update -q + time apt-get install -y --no-install-recommends openjdk-8-jdk-headless file wget + time ./mach bootstrap-android --accept-all-licences --build """) ) |