diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy index 938db54e..14deeca5 100644 --- a/Jenkinsfile.groovy +++ b/Jenkinsfile.groovy @@ -11,7 +11,7 @@ pipeline { environment { // ANDROID_HOME = "/usr/local/android/sdk" // Cambia in base al tuo sistema JAVA_HOME = tool 'JDK 17.0.6 x64' // Nome dello strumento configurato in Jenkins - PATH = "${env.JAVA_HOME}/bin:${env.PATH}" + PATH = "${env.JAVA_HOME}\\bin;${env.PATH}" } stages {