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

Use apt-get update before apt-get install

Browse source
This commit is contained in:
Simon Sapin 2018-10-31 23:55:21 +01:00
parent d1a18dc052
commit b1da53e47f
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
etc/taskcluster/decision_task.py
View file

@ -295,6 +295,7 @@ 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
apt-get install -y --no-install-recommends openjdk-8-jdk-headless file wget apt-get install -y --no-install-recommends openjdk-8-jdk-headless file wget
./mach bootstrap-android --accept-all-licences --build ./mach bootstrap-android --accept-all-licences --build
""") """)