From b1da53e47fc6ff7f0519d99e3e7b06a34663072b Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Wed, 31 Oct 2018 23:55:21 +0100
Subject: [PATCH] Use `apt-get update` before `apt-get install`

---
 etc/taskcluster/decision_task.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/taskcluster/decision_task.py b/etc/taskcluster/decision_task.py
index 58b1352f284..b72eb64488b 100644
--- a/etc/taskcluster/decision_task.py
+++ b/etc/taskcluster/decision_task.py
@@ -295,6 +295,7 @@ 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
         """)