From 95b9163add10efaaf26e13c776f2b39e318190dc Mon Sep 17 00:00:00 2001
From: Philipp Arras <parras@mpa-garching.mpg.de>
Date: Fri, 27 Apr 2018 16:47:24 +0200
Subject: [PATCH] Add coverage package back in

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

diff --git a/Dockerfile b/Dockerfile
index 07cff8345..9bbc28172 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -23,6 +23,7 @@ RUN apt-get install -y python-sphinx python-sphinx-rtd-theme python-numpydoc
 # Testing dependencies
 RUN apt-get install -y python-nose python-parameterized
 RUN apt-get install -y python3-nose python3-parameterized
+RUN pip install coverage
 
 # Create user (openmpi does not like to be run as root)
 RUN useradd -ms /bin/bash testinguser
-- 
GitLab