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