Update Jenkinsfile

2023-03-05 03:18:49 -07:00
parent 561b80c7fa
commit 88f3d2bb91
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@@ -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'
      }
    }