From 54c56f6c3cb2ed73e475c0aa2c152f42889d7794 Mon Sep 17 00:00:00 2001
From: smlng <s@mlng.net>
Date: Tue, 24 Jan 2017 14:27:33 +0100
Subject: [PATCH] Jenkins: add git-cache init before build
---
Jenkinsfile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Jenkinsfile b/Jenkinsfile
index d0f88e5288..06f53343d5 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}"
--
GitLab