diff options
Diffstat (limited to 'jenkins/docker')
-rw-r--r-- | jenkins/docker/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jenkins/docker/Dockerfile b/jenkins/docker/Dockerfile index 53ac38f3..7e65bb41 100644 --- a/jenkins/docker/Dockerfile +++ b/jenkins/docker/Dockerfile @@ -71,6 +71,8 @@ RUN apt-get update && apt-get install -y \ python3.4-dev \ # -- For Ruby -- ruby \ + # -- For C++ benchmarks -- + cmake \ && apt-get clean ################## |