diff --git a/Jenkinsfile b/Jenkinsfile index 147bb29773a078a7ab4e9e1b7868ae4a03c5fb97..02345cf8eaaf8d4cdd30e3896a3520d4697f5ced 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -293,7 +293,7 @@ pipeline { } build { env = 'eve/cli.sh' - cmd_args = '-l 30' + cmd_args = '-j 8' } build { env = 'eve/cli.sh' @@ -348,7 +348,7 @@ pipeline { } build { env = 'eve/petsc.sh' - cmd_args = '-l 30' + cmd_args = '-j 8' } build { env = 'eve/petsc.sh'