From 4befbdfa4ba22dfd8fd9875db49842854cc258a1 Mon Sep 17 00:00:00 2001 From: Matias N Date: Wed, 12 May 2021 13:01:37 -0300 Subject: [PATCH] docker: add ninja-build --- tools/ci/docker/linux/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/ci/docker/linux/Dockerfile b/tools/ci/docker/linux/Dockerfile index b43eac81a2e..4df92c30a01 100644 --- a/tools/ci/docker/linux/Dockerfile +++ b/tools/ci/docker/linux/Dockerfile @@ -203,6 +203,7 @@ RUN apt-get update -qq && DEBIAN_FRONTEND="noninteractive" apt-get install -y -q libxext-dev libxext-dev:i386 \ linux-libc-dev:i386 \ linux-headers-generic \ + ninja-build \ python3 \ python3-pip \ python-is-python3 \