Changeset 8f99233

Timestamp:

Jan 28, 2019, 2:50:45 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

692be4e, 80a9898

Parents:

65f4a51

Message:

Second attempt at pipefail using an external script. closes #110

Files:

• Jenkinsfile (modified) (2 diffs)
• benchmark/jenkins.sh (added)

Jenkinsfile

@@ -153 +153 @@
                 dir (BuildDir) {
                         //Append bench results
-                        sh "set -o pipefail; make --no-print-directory -C benchmark jenkins githash=${Settings.GitNewRef} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
+                        sh "${SrcDir}/jenkins.sh ${GitNewRef} ${Architecture} ${BuildDir}/bench.json"
                 }
         }
@@ -179 +179 @@
 
                 //Then publish the results
-                sh 'curl --silent --show-error -H \'Content-Type: application/json\' --data @bench.json https://cforall.uwaterloo.ca:8082/jenkins/publish > /dev/null || true'
+                sh 'curl --silent --show-error -H \'Content-Type: application/json\' --data @${BuildDir}/bench.json https://cforall.uwaterloo.ca:8082/jenkins/publish > /dev/null || true'
         }
 }