Changeset 4b138dd

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:

• Jenkins/Distribute (modified) (2 diffs)

Jenkins/Distribute

@@ -15 +15 @@
         SrcDir    = pwd tmp: false
         Settings  = null
-        Tools = load "Jenkins/tools.groovy"
 
         // Local variables
@@ -117 +116 @@
                 ]])
 
+        // It's unfortunate but it looks like we need to checkout the entire repo just to get
+        // - the pretty git printer
+        // - Jenkins.tools
+        checkout scm
+
+        Tools = load "Jenkins/tools.groovy"
+
         currentBuild.description = "Distributing Binaries"
         echo "Distributing build ${params.Build}"