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') {