From 129e85610cfd5a1e3db7f7d656e99915b96a3be5 Mon Sep 17 00:00:00 2001
From: ROUVREAU Vincent <vincent.rouvreau@inria.fr>
Date: Thu, 20 Aug 2020 14:17:31 +0200
Subject: Some cleanup. CircleCI docker image build requires update

---
 Dockerfile_for_circleci_image | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Dockerfile_for_circleci_image')

diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image
index 464097e7..87f57071 100644
--- a/Dockerfile_for_circleci_image
+++ b/Dockerfile_for_circleci_image
@@ -23,6 +23,9 @@ ENV LANG en_US.UTF-8
 ENV LANGUAGE en_US:en
 ENV LC_ALL en_US.UTF-8
 
+# Update again
+RUN apt-get update
+
 # Required for Gudhi compilation
 RUN apt-get install -y make \
     git \
-- 
cgit v1.2.3