Changeset 7efec15

Timestamp:

Aug 17, 2018, 3:59:16 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

36fb4ce8

Parents:

a336d46

Message:

Fix naming

File:

• Jenkinsfile (modified) (4 diffs)

Jenkinsfile

@@ -145 +145 @@
                 dir (BuildDir) {
                         //Append bench results
-                        sh "make --no-print-directory -C benchmark jenkins githash=${gitRefNewValue} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
+                        sh "make --no-print-directory -C benchmark jenkins githash=${newRef} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
                 }
         }
@@ -178 +178 @@
 //Routine responsible of sending the email notification once the build is completed
 //===========================================================================================================
-def gitUpdate(String gitRefOldValue, String gitRefNewValue) {
+def gitUpdate(String oldRef, String newRef) {
         def update = ""
-        sh "git rev-list ${gitRefOldValue}..${gitRefNewValue} > GIT_LOG";
+        sh "git rev-list ${oldRef}..${newRef} > GIT_LOG";
         readFile('GIT_LOG').eachLine { rev ->
                 sh "git cat-file -t ${rev} > GIT_TYPE"
@@ -187 +187 @@
                 update += "       via  ${rev} (${type})\n"
         }
-        def rev = gitRefOldValue
+        def rev = oldRef
         sh "git cat-file -t ${rev} > GIT_TYPE"
         def type = readFile('GIT_TYPE')
@@ -195 +195 @@
 }
 
-def gitLog(String gitRefOldValue, String gitRefNewValue) {
+def gitLog(String oldRef, String newRef) {
         sh "git rev-list --format=short ${oldRef}...${newRef} > ${BuildDir}/GIT_LOG"
         return readFile("${BuildDir}/GIT_LOG")
 }
 
-def gitDiff(String gitRefOldValue, String gitRefNewValue) {
+def gitDiff(String oldRef, String newRef) {
         sh "git diff --stat ${newRef} ${oldRef} > ${BuildDir}/GIT_DIFF"
         return readFile("${BuildDir}/GIT_DIFF")