From 493874598cbde834c010b95a15a9ca6821330e4c Mon Sep 17 00:00:00 2001 From: "Brian J. Murrell" Date: Mon, 22 Jan 2024 15:32:56 -0500 Subject: [PATCH] Debug for env.pragmas Skip-build: true Skip-PR-comments: true Required-githooks: true Signed-off-by: Brian J. Murrell --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index f55632b5e77..cb1e94b3e21 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -331,7 +331,7 @@ pipeline { // pragmasToEnv() script { env.pragmas = pragmasToEnv() - println(env.pragmas) + println('env.pragmas: ' + env.pragmas) } } }