From 2173b1e2bcb151f7595032d0c22f2c5981810985 Mon Sep 17 00:00:00 2001
From: LegacyGamerHD <wesleyvanneck1012@gmail.com>
Date: Thu, 19 Nov 2020 19:09:44 +0100
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 96a0ec9d2..8f381c385 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'
+        sh 'bash ./scripts/inst.sh --setup --fast --remote'
       }
     }