Changeset 6e31c43


Ignore:
Timestamp:
Aug 17, 2018, 4:47:03 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer
Children:
7cbd7ce
Parents:
42ee8f2
Message:

Jenkins now passes target directory as argument

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r42ee8f2 r6e31c43  
    181181        if (!Settings || !Settings.GitOldRef || !Settings.GitNewRef) return "\nERROR retrieveing git information!\n"
    182182
    183         dir(BuildDir) {
    184                 sh "${SrcDir}/tools/PrettyGitLogs.sh ${Settings.GitOldRef} ${Settings.GitNewRef}";
    185         }
     183        sh "${SrcDir}/tools/PrettyGitLogs.sh ${BuildDir} ${Settings.GitOldRef} ${Settings.GitNewRef}"
     184
    186185        def gitUpdate = readFile("${BuildDir}/GIT_TYPE").trim()
    187186        def gitLog    = readFile("${BuildDir}/GIT_LOG").trim()
Note: See TracChangeset for help on using the changeset viewer.