From 48bc7a76a6e19cdb34418b091daef15bf67fa2bf Mon Sep 17 00:00:00 2001 From: josephworks Date: Sun, 5 Mar 2023 16:52:36 -0700 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5fa42d5ef..770b0f37a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,7 +11,7 @@ pipeline { steps { sh 'update-alternatives --set java /usr/lib/jvm/zulu8/jre/bin/java' sh 'chmod +x scripts/inst.sh' - sh './scripts/inst.sh --setup --fast --remote' + sh './scripts/inst.sh --setup --remote' } }