From 0f9e51fd0bcd364f3753ec92a2440563f54a106c Mon Sep 17 00:00:00 2001 From: LegacyGamerHD Date: Sun, 22 Nov 2020 15:32:18 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index e3a1f9b8b..96a0ec9d2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,7 +9,8 @@ pipeline { stage('Build') { steps { - sh 'bash ./scripts/inst.sh --setup' + sh 'bash ./scripts/build.sh' + sh 'bash ./scripts/inst.sh --setup --fast' } }