diff options
Diffstat (limited to 'nightly.jenkinsfile')
| -rw-r--r-- | nightly.jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nightly.jenkinsfile b/nightly.jenkinsfile index e5ffa57..79e2719 100644 --- a/nightly.jenkinsfile +++ b/nightly.jenkinsfile @@ -17,7 +17,7 @@ pipeline { steps { sh 'source /home/tgrogers-raid/a/common/gpgpu-sim-setup/9.1_env_setup.sh &&\ source `pwd`/setup_environment &&\ - make -j' + make -j 10' } } stage('nightly-simulations-build'){ @@ -34,7 +34,7 @@ pipeline { source `pwd`/setup_environment &&\ cd gpgpu-sim_simulations && \ source ./benchmarks/src/setup_environment && \ - make -i -j -C ./benchmarks/src/ all && \ + make -i -j 10 -C ./benchmarks/src/ all && \ make -C ./benchmarks/src data' } } |