From 09da25e92b97af3d40bcf185be1d981cf99a5ca1 Mon Sep 17 00:00:00 2001 From: Sebastian Schuberth Date: Thu, 30 Nov 2023 18:07:06 +0100 Subject: [PATCH] feat(jenkins): Show the active configuration to ease debugging Signed-off-by: Sebastian Schuberth --- integrations/jenkins/Jenkinsfile | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/integrations/jenkins/Jenkinsfile b/integrations/jenkins/Jenkinsfile index 41ea67808b228..28d247c271c60 100644 --- a/integrations/jenkins/Jenkinsfile +++ b/integrations/jenkins/Jenkinsfile @@ -367,6 +367,14 @@ pipeline { enabled: ${USE_CLEARLY_DEFINED_CURATIONS} EOF fi + + ORT_OPTIONS="$LOG_LEVEL" + + if [ "$STACKTRACE" = "true" ]; then + ORT_OPTIONS="$ORT_OPTIONS --stacktrace" + fi + + /opt/ort/bin/ort $ORT_OPTIONS config --show-active '''.stripIndent().trim() } }