From 7e9777c568d32a2c3d5c6fd85bbbf882bb121b83 Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Thu, 26 Dec 2019 20:50:07 +0100
Subject: I am also going to need git to checkout submodules, apparently

---
 Dockerfile_for_circleci_image | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Dockerfile_for_circleci_image')

diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index c9342bf4..ff4e6018 100644
--- a/Dockerfile_for_circleci_image
+++ b/Dockerfile_for_circleci_image
@@ -25,6 +25,7 @@ ENV LC_ALL en_US.UTF-8
 
 # Required for Gudhi compilation
 RUN apt-get install -y make \
+    git \
     g++ \
     cmake \
     graphviz \
-- 
cgit v1.2.3