From 044759f197f0dc53d1d6dc4a72967d7eb7236b0c Mon Sep 17 00:00:00 2001
From: LegacyGamerHD <wesleyvanneck1012@gmail.com>
Date: Thu, 26 Nov 2020 14:50:51 +0100
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 85b521b55..ec417ebea 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,8 +3,8 @@ pipeline {
   stages {
     stage('Build') {
       steps {
-        //sh 'bash ./scripts/build.sh'
-        sh 'bash ./scripts/inst.sh --setup --fast --remote'
+        sh 'chmod +x scripts/inst.sh'
+        sh 'sh ./scripts/inst.sh --setup --remote'
       }
     }