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