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

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

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