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