From f43eaf7bb9f0876bfcc722031f0f2f66728c8139 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 30 Dec 2016 11:50:07 +0100
Subject: [PATCH] do not compile in parallel in jenkins

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 454530b7c..d7a7f5377 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,7 +18,7 @@ node {
    
    stage('Build') {
       dir("build") {
-          sh "make -j 4 storm"
+          sh "make  storm"
       }
       
    }