Changeset 7efec15


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    ra336d46 r7efec15  
    145145                dir (BuildDir) {
    146146                        //Append bench results
    147                         sh "make --no-print-directory -C benchmark jenkins githash=${gitRefNewValue} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
     147                        sh "make --no-print-directory -C benchmark jenkins githash=${newRef} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
    148148                }
    149149        }
     
    178178//Routine responsible of sending the email notification once the build is completed
    179179//===========================================================================================================
    180 def gitUpdate(String gitRefOldValue, String gitRefNewValue) {
     180def gitUpdate(String oldRef, String newRef) {
    181181        def update = ""
    182         sh "git rev-list ${gitRefOldValue}..${gitRefNewValue} > GIT_LOG";
     182        sh "git rev-list ${oldRef}..${newRef} > GIT_LOG";
    183183        readFile('GIT_LOG').eachLine { rev ->
    184184                sh "git cat-file -t ${rev} > GIT_TYPE"
     
    187187                update += "       via  ${rev} (${type})\n"
    188188        }
    189         def rev = gitRefOldValue
     189        def rev = oldRef
    190190        sh "git cat-file -t ${rev} > GIT_TYPE"
    191191        def type = readFile('GIT_TYPE')
     
    195195}
    196196
    197 def gitLog(String gitRefOldValue, String gitRefNewValue) {
     197def gitLog(String oldRef, String newRef) {
    198198        sh "git rev-list --format=short ${oldRef}...${newRef} > ${BuildDir}/GIT_LOG"
    199199        return readFile("${BuildDir}/GIT_LOG")
    200200}
    201201
    202 def gitDiff(String gitRefOldValue, String gitRefNewValue) {
     202def gitDiff(String oldRef, String newRef) {
    203203        sh "git diff --stat ${newRef} ${oldRef} > ${BuildDir}/GIT_DIFF"
    204204        return readFile("${BuildDir}/GIT_DIFF")
Note: See TracChangeset for help on using the changeset viewer.