diff options
Diffstat (limited to 'third_party/webrender/ci-scripts/docker-image/setup.sh')
-rwxr-xr-x | third_party/webrender/ci-scripts/docker-image/setup.sh | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/third_party/webrender/ci-scripts/docker-image/setup.sh b/third_party/webrender/ci-scripts/docker-image/setup.sh index 11adb1c269b..4a20147f3b0 100755 --- a/third_party/webrender/ci-scripts/docker-image/setup.sh +++ b/third_party/webrender/ci-scripts/docker-image/setup.sh @@ -14,19 +14,15 @@ test "$(whoami)" == 'root' # Install stuff we need apt-get -y update apt-get install -y \ - bison \ bzip2 \ cmake \ curl \ - flex \ gcc \ git \ g++ \ libfontconfig1-dev \ libgl1-mesa-dev \ libx11-dev \ - llvm-dev \ - ninja-build \ openjdk-8-jdk \ pkg-config \ python \ @@ -35,10 +31,7 @@ apt-get install -y \ python-setuptools \ python-voluptuous \ python-yaml \ - python3-pip \ - python3-mako \ - software-properties-common \ - clang + software-properties-common # Other stuff we need pip install servo-tidy==0.3.0 |