diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-11-02 09:25:06 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-11-02 09:25:06 +0100 |
commit | af5af2df409576035f2e31564f4048278d4f0f19 (patch) | |
tree | 44fde353aa1e7c41e680c153182af0933b489487 /Dockerfile_for_circleci_image | |
parent | 4186971033ee43821905cac53791bf074751d3af (diff) | |
parent | 6b995c03793096459a333c907b606770113b96d7 (diff) |
Merge master and resolve conflicts
Diffstat (limited to 'Dockerfile_for_circleci_image')
-rw-r--r-- | Dockerfile_for_circleci_image | 3 |
1 files changed, 3 insertions, 0 deletions
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 \ |