Changeset 192d4a5

Timestamp:

Jan 29, 2019, 12:20:25 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:

ede87c6

Parents:

80a9898

Message:

Tentative fix for benchmarks in jenkins

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -153 +153 @@
                 dir (BuildDir) {
                         //Append bench results
-                        sh "${SrcDir}/jenkins.sh ${GitNewRef} ${Architecture} ${BuildDir}/bench.json"
+                        sh "${SrcDir}/jenkins.sh ${Settings.GitNewRef} ${Settings.Architecture} ${BuildDir}/bench.json"
                 }
         }