From 60c84524143d1bf05ee419e6f6590564c03cf7f5 Mon Sep 17 00:00:00 2001
From: Jonas Gunz <himself@jonasgunz.de>
Date: Mon, 14 Feb 2022 01:03:58 +0100
Subject: fix Jenkinsfile

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

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index 8bfd3f4..364adf7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
 	stages {
 		stage('Build Plugins') {
 			steps {
-				sh 'mkdir -p out/ && INSTDIR=out/ make install'
+				sh 'mkdir -p out/ && make INSTDIR=out install'
 			}
 		}
 	}
-- 
cgit v1.2.3