restore file

opendevstack · Aug 23, 2024 · 4625b5f · 4625b5f
1 parent ae23cb1
commit 4625b5f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/jenkins/agent-base/ods-run-jnlp-client.sh b/jenkins/agent-base/ods-run-jnlp-client.sh
@@ -5,7 +5,9 @@ set -ue
 JAVA_HOME=${JAVA_HOME:-""}
 
 if [ -f /etc/profile.d/set-default-java.sh ]; then
+    set -x
     source /etc/profile.d/set-default-java.sh
+    set +x
 else
     echo "WARNING: Not setting default java version."
 fi