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() } }