From 43980f6ee0076532a118c8e49e0150653631fcea Mon Sep 17 00:00:00 2001
From: Sebastien Dinot <sebastien.dinot@c-s.fr>
Date: Tue, 29 Jan 2019 18:13:09 +0100
Subject: [PATCH] Add Ninja build tool
---
CI/Dockerfile | 1 +
1 file changed, 1 insertion(+)
diff --git a/CI/Dockerfile b/CI/Dockerfile
index a202d7a661..10319e3a49 100644
--- a/CI/Dockerfile
+++ b/CI/Dockerfile
@@ -15,6 +15,7 @@ RUN apt-get update -y \
curl \
make \
cmake \
+ ninja-build \
g++ \
gcc \
clang \
--
GitLab