From 021f6974f190f9575794037096cf08010f2496d5 Mon Sep 17 00:00:00 2001
From: GiuseppeS <g.scorrano@integry.it>
Date: Tue, 3 Jun 2025 09:49:13 +0200
Subject: [PATCH] Aggiornato Jenkinsfile

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

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 {