diff --git a/ci/Dockerfile_ci_base b/ci/Dockerfile_ci_base index c1bf577e8d7f1aac952ea799d46c87fd1c073083..d554acfa059d7e41769944fcd0e4263879da957f 100644 --- a/ci/Dockerfile_ci_base +++ b/ci/Dockerfile_ci_base @@ -5,4 +5,4 @@ # FROM centos:centos7.6.1810 -RUN yum -y install make +RUN yum -y install make docker