diff options
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/depends/Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/depends/Jenkinsfile b/contrib/depends/Jenkinsfile index 6c4f1c2..8d5e50b 100644 --- a/contrib/depends/Jenkinsfile +++ b/contrib/depends/Jenkinsfile @@ -35,7 +35,7 @@ pipeline { echo "Building dependencies for ${target}" dir('contrib/depends') { - sh "make HOST=${target}" + sh "make HOST=${target} DEPENDS_UNTRUSTED_FAST_BUILDS=yes" } } } @@ -68,7 +68,7 @@ pipeline { echo "Building dependencies for ${target}" dir('contrib/depends') { - sh "make HOST=${target}" + sh "make HOST=${target} DEPENDS_UNTRUSTED_FAST_BUILDS=yes" } } } |