diff options
| author | tgrogers <[email protected]> | 2019-06-17 09:28:46 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2019-06-17 09:28:46 -0400 |
| commit | 5475c220af46b84c3b0500b2f804b47d993fff67 (patch) | |
| tree | 1e8682f8fcbd0cb021e49dd03224c014305a8ad0 /Jenkinsfile | |
| parent | 74923ff9a2c21b72a858a8ccfbb230b1fccef81d (diff) | |
Some updates to the Jekins commit message. Also forcing the nightly to kill all the jobs that are not done when it times out.
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index b8c9c48..a345bc0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -81,7 +81,7 @@ pipeline { ./gpgpu-sim_simulations/util/plotting/plot-correlation.py -c per-kernel-merge-10.1.csv -p cuda-10.1 | grep "Correl=" | tee correl.10.1.txt &&\ mkdir -p ./gpgpu-sim-results-repo/${JOB_NAME}/ && cp stats-per-*.csv ./gpgpu-sim-results-repo/${JOB_NAME}/ &&\ cd ./gpgpu-sim-results-repo &&\ - git diff --quiet && git diff --staged --quiet || git commit -am "Jenkins automated checkin ${BUILD_NUMBER}" &&\ + git diff --quiet && git diff --staged --quiet || git commit -am "Jenkins automated checkin ${JOB_NAME} Build:${BUILD_NUMBER}" &&\ git push' sh 'PLOTDIR="/home/dynamo/a/tgrogers/website/gpgpu-sim-plots/jenkins/${JOB_NAME}" &&\ |
