From 56895198f418bbb366aac439eec1e6f999902f0f Mon Sep 17 00:00:00 2001 From: Simon Sapin Date: Thu, 2 Jan 2020 15:51:24 +0100 Subject: [PATCH] Add timing for Android CI bootstrap --- etc/taskcluster/decision_task.py | 6 +++--- 1 file 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 """) )