diff --git a/Jenkinsfile b/Jenkinsfile
index 193f4065b62..d16bd608545 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -331,8 +331,9 @@ pipeline {
                         // pragmasToEnv()
                         script {
                             //env.pragmas = pragmasToEnv()
-                            pragmasToEnv()
+                            String foo = pragmasToEnv()
                             println('env.pragmas: ' + env.pragmas)
+                            println('foo: ' + foo)
                         }
                     }
                 }