From ce64d00b3a976fb8789daa8b49dc8326ebce6dd1 Mon Sep 17 00:00:00 2001 From: LegacyGamerHD Date: Tue, 24 Nov 2020 11:25:40 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 8f381c385..0cf8c4971 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { stage('Build') { steps { sh 'bash ./scripts/build.sh' - sh 'bash ./scripts/inst.sh --setup --fast --remote' + // sh 'bash ./scripts/inst.sh --setup --fast --remote' } }