diff --git a/Jenkinsfile b/Jenkinsfile
index ff6381a31..e3d8f8165 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,6 +29,7 @@ pipeline {
                 }
             steps {
                 echo 'Testing ...'
+                sh 'apt-get install make'
                 sh 'make test'
             }
         }