Changeset 4c55047


Ignore:
Timestamp:
Jan 24, 2019, 4:30:46 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer
Children:
929ac64
Parents:
4ae8a6c7
Message:

Tentative fix for git printing

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r4ae8a6c7 r4c55047  
    77node('master') {
    88        // Globals
    9         BuildDir  = null
    10         SrcDir    = null
     9        BuildDir  = pwd tmp: true
     10        SrcDir    = pwd tmp: false
    1111        Settings  = null
    1212        StageName = ''
     
    4646                                publish()
    4747                        }
     48
     49                        // Update the build directories when exiting the node
     50                        BuildDir  = pwd tmp: true
     51                        SrcDir    = pwd tmp: false
    4852
    4953                        notify_server(45)
     
    377381                ]])
    378382
    379         load "tools/PrettyGitLogs.sh"
     383        // It's unfortunate but it looks like we need to checkout the entire repo just to get the pretty git printer
     384        checkout scm
    380385
    381386        final settings = new BuildSettings(params, env.BRANCH_NAME)
Note: See TracChangeset for help on using the changeset viewer.