From 015028bde2b6cdbd6dab13831d19779b44618cc5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mario=20H=C3=BCttel?= <mario.huettel@gmx.net>
Date: Sun, 10 Oct 2021 23:12:22 +0200
Subject: [PATCH] Add build step to jenkinsfile

---
 Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 36355cd..9308016 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,10 @@ pipeline {
 	}
 	stage('Build') {
             steps {
-                echo 'Building..'
+                sh '''
+			cd "build" &&
+			make
+		'''
             }
         }
         stage('Test') {