From ea9589df5ce56eb5bf670a8ec99ae7ebb56cecbe Mon Sep 17 00:00:00 2001 From: LegacyGamerHD Date: Sat, 12 Dec 2020 20:31:40 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 036d4a8c3..2c0d9482f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,7 +3,7 @@ pipeline { stages { stage('Build') { steps { - sh 'bash ./scripts/inst.sh --fast' + sh 'bash ./scripts/inst.sh --setup' // sh 'chmod +x scripts/build.sh' // sh 'sh ./scripts/build.sh' }