From 248e68a10376776384e206180eaaed8f23d9b8ac Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 3 Jan 2017 12:26:15 +0100
Subject: [PATCH] jenkinsfile updated

---
 Jenkinsfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d7a7f5377..6dd30cdbc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -31,8 +31,9 @@ node {
    }
    
    stage('Test') {
-       dir("build")
-       sh "make check"
+       	dir("build") {
+       	    sh "make check"
+	}
    }
    
    stage('Archive') {