diff --git a/debian-stretch-jenkins/Dockerfile b/debian-stretch-jenkins/Dockerfile index b45c1d3b..e39ca4ed 100644 --- a/debian-stretch-jenkins/Dockerfile +++ b/debian-stretch-jenkins/Dockerfile @@ -57,6 +57,7 @@ RUN \ libcsv-dev \ libdbd-sqlite3 \ libdbi-dev \ + libelf-dev \ libffi-dev \ libfftw3-dev \ libgmp-dev \