diff --git a/Jenkinsfile b/Jenkinsfile
index 65c07e39680..ffab63e9dff 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -330,15 +330,16 @@ pipeline {
                         // pragmasToEnv()
                         script {
                             env.pragmas = pragmasToEnv()
+                            println(env.pragmas)
                         }
                     }
                 }
                 stage('Determine Base Branch') {
                     steps {
                         script {
-                            env.BASE_BRANCH_NAME = sh label: 'Determine base branch name',
+                            env.BASE_BRANCH_NAME = sh(label: 'Determine base branch name',
                                                       script: 'utils/scripts/get_base_branch',
-                                                      returnStdout: true
+                                                      returnStdout: true).trim()
                             echo 'Base branch == ' + env.BASE_BRANCH_NAME
                         }
                     }