From 48574c2eb48e7bc64a07fc2beea3fd4d9bb75e9d Mon Sep 17 00:00:00 2001 From: LegacyGamerHD Date: Thu, 1 Apr 2021 19:40:23 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index c2d62f0fe..7495ccb6b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,8 @@ pipeline { stage('Build') { steps { sh 'chmod +x scripts/inst.sh' - sh './scripts/inst.sh --setup' + sh './scripts/inst.sh --setup --fast --remote +' } }