From c32d50c8f414cd09dd2788f40b7c15494b1eb83e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20Trzci=C5=84ski?= Date: Sat, 1 Jul 2017 23:56:13 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 86a00c3..08db714 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -39,7 +39,7 @@ node('docker && linux-build') { export HOME=$WORKSPACE export USER=jenkins - repo init -u https://github.com/ayufan-rock64/manifests -b default --depth=1 + repo init -u https://github.com/ayufan-rock64/linux-manifests -b default --depth=1 repo sync -j 20 -c --force-sync '''