From fd2c902ce94cde1b5b352e80b3b4d7bf2df06b93 Mon Sep 17 00:00:00 2001
From: "Brian J. Murrell" <brian.murrell@intel.com>
Date: Mon, 22 Jan 2024 16:09:14 -0500
Subject: [PATCH] Maybe this is the ticket

Skip-build: true
Skip-PR-comments: true

Required-githooks: true

Signed-off-by: Brian J. Murrell <brian.murrell@intel.com>
---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index cb1e94b3e21..193f4065b62 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -330,7 +330,8 @@ pipeline {
                         // at some point soon, this can be factored down to
                         // pragmasToEnv()
                         script {
-                            env.pragmas = pragmasToEnv()
+                            //env.pragmas = pragmasToEnv()
+                            pragmasToEnv()
                             println('env.pragmas: ' + env.pragmas)
                         }
                     }