Jenkinsfile: use download cache if available

2019-06-28 02:08:35 +02:00 · 2019-06-28 02:08:35 +02:00 · 94be22c0c4
commit 94be22c0c4
parent 63b02eaca3
1 changed files with 1 additions and 1 deletions
--- 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)'
            }
        }