From 94be22c0c44f913838ce03ca7c6a4fb038dbb943 Mon Sep 17 00:00:00 2001
From: Martin Weinelt <martin@darmstadt.freifunk.net>
Date: Fri, 28 Jun 2019 02:08:35 +0200
Subject: [PATCH] Jenkinsfile: use download cache if available

---
 contrib/ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile
index 2da3da2e..2cb11ede 100644
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@@ -19,7 +19,7 @@ pipeline {
         stage('build') {
             steps {
                 sh 'make update'
-                sh 'make download'
+                sh 'test -d /dl_cache && ln -s /dl_cache openwrt/dl || true'
                 sh 'make -j$(nproc)'
             }
         }