Changeset 4c55047

Timestamp:

Jan 24, 2019, 4:30:46 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

929ac64

Parents:

4ae8a6c7

Message:

Tentative fix for git printing

File:

• Jenkinsfile (modified) (3 diffs)

Jenkinsfile

@@ -7 +7 @@
 node('master') {
         // Globals
-        BuildDir  = null
-        SrcDir    = null
+        BuildDir  = pwd tmp: true
+        SrcDir    = pwd tmp: false
         Settings  = null
         StageName = ''
@@ -46 +46 @@
                                 publish()
                         }
+
+                        // Update the build directories when exiting the node
+                        BuildDir  = pwd tmp: true
+                        SrcDir    = pwd tmp: false
 
                         notify_server(45)
@@ -377 +381 @@
                 ]])
 
-        load "tools/PrettyGitLogs.sh"
+        // It's unfortunate but it looks like we need to checkout the entire repo just to get the pretty git printer
+        checkout scm
 
         final settings = new BuildSettings(params, env.BRANCH_NAME)