Browse Source

do not compile in parallel in jenkins

tempestpy_adaptions
Sebastian Junges 8 years ago
parent
commit
f43eaf7bb9
  1. 2
      Jenkinsfile

2
Jenkinsfile

@ -18,7 +18,7 @@ node {
stage('Build') {
dir("build") {
sh "make -j 4 storm"
sh "make storm"
}
}

Loading…
Cancel
Save