From 8d7ecdd549e05b1754c08c185e1aa849b1744790 Mon Sep 17 00:00:00 2001
From: Mihai Georgescu <georgescumihaivalentin04@gmail.com>
Date: Tue, 28 Nov 2023 10:34:03 +0200
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ee86f92b4..5fb643406 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,6 +4,7 @@ pipeline {
         stage('Checkstyle') {
             steps {
                 sh 'export JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64'
+                sh 'echo $JAVA_HOME'
                 sh 'mvn checkstyle:checkstyle'
                 archiveArtifacts artifacts: 'checkstyle-result.html', onlyIfSuccessful: true
             }