From 88f3d2bb91f48418831d00b0f939e4e3911e7a6d Mon Sep 17 00:00:00 2001
From: josephworks <smartech56@gmail.com>
Date: Sun, 5 Mar 2023 03:18:49 -0700
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c0a216d5b..bb0d119a0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,8 +9,9 @@ pipeline {
     
     stage('Build') {
       steps {
+	    sh 'update-alternatives --set java /usr/lib/jvm/zulu8/bin/java'
 	    sh 'chmod +x scripts/inst.sh'
-        sh './scripts/inst.sh --setup --fast --remote'
+            sh './scripts/inst.sh --setup --fast --remote'
       }
     }