diff --git a/dev/docker/gcov/Dockerfile b/dev/docker/gcov/Dockerfile index c69051e1bf0344eedba6e563ee6e951110e299d4..76700ee8afb60bf9c805f486af21b1056b5d0bdd 100644 --- a/dev/docker/gcov/Dockerfile +++ b/dev/docker/gcov/Dockerfile @@ -2,7 +2,7 @@ FROM ubuntu:20.04 -RUN apt-get -y -m update && DEBIAN_FRONTEND=noninteractive apt-get install -y cmake python3-numpy g++ gfortran git zip python3-six nano python3-pip gcovr ninja-build +RUN apt-get -y -m update && DEBIAN_FRONTEND=noninteractive apt-get install -y cmake g++ git zip nano gcovr ninja-build # This ADD block forces a build (invalidates the cache) if the git repo contents have changed, otherwise leaves it untouched. # See https://stackoverflow.com/a/39278224