From e7930fe4c08bce21a5334073ec3e357700be0c4b Mon Sep 17 00:00:00 2001
From: Dominik Chilla <dominik@zwackl.de>
Date: Wed, 12 Jun 2019 16:51:40 +0200
Subject: [PATCH] First jenkins build

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3d4de34..ac5f035 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,6 +7,7 @@ node {
     }
 
     stage('Build image') {
+        sh 'make'
         /* This builds the actual image; synonymous to
          * docker build on the command line */
         app = docker.build("jenkins/sos-milter")