diff --git a/Jenkinsfile b/Jenkinsfile index d0f88e5288db81a6f825b43ce836267b6fd1ec51..06f53343d557125731a729757ed813877a0bb032 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -161,6 +161,7 @@ def make_build(label, board, desc, arg) deleteDir() fetchPR(env.CHANGE_ID, "--depth=1", "") def build_dir = pwd() + sh "./dist/tools/git/git-cache init" timestamps { def apps = arg.join(' ') echo "building ${apps} for ${board} on nodes with ${label}"