From d5438f783a1d352e1709d10faf5e8f6e88830eca Mon Sep 17 00:00:00 2001
From: Ben Boeckel <ben.boeckel@kitware.com>
Date: Fri, 8 May 2020 10:50:13 -0400
Subject: ci: add make to the CI image

---
 .gitlab/ci/docker/fedora31/install_deps.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab/ci/docker/fedora31/install_deps.sh b/.gitlab/ci/docker/fedora31/install_deps.sh
index 7f8da57..5f2985f 100755
--- a/.gitlab/ci/docker/fedora31/install_deps.sh
+++ b/.gitlab/ci/docker/fedora31/install_deps.sh
@@ -8,7 +8,8 @@ dnf install -y \
 dnf install --setopt=install_weak_deps=False -y \
     clang-tools-extra \
     gcc-c++ \
-    git-core
+    git-core \
+    make
 
 # Install documentation tools.
 dnf install --setopt=install_weak_deps=False -y \
-- 
cgit v0.12