Changeset 4b138dd


Ignore:
Timestamp:
Dec 3, 2020, 8:09:32 PM (4 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
782d479
Parents:
fd0ba75
Message:

Fixed Distribute Loading tools

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkins/Distribute

    rfd0ba75 r4b138dd  
    1515        SrcDir    = pwd tmp: false
    1616        Settings  = null
    17         Tools = load "Jenkins/tools.groovy"
    1817
    1918        // Local variables
     
    117116                ]])
    118117
     118        // It's unfortunate but it looks like we need to checkout the entire repo just to get
     119        // - the pretty git printer
     120        // - Jenkins.tools
     121        checkout scm
     122
     123        Tools = load "Jenkins/tools.groovy"
     124
    119125        currentBuild.description = "Distributing Binaries"
    120126        echo "Distributing build ${params.Build}"
Note: See TracChangeset for help on using the changeset viewer.