diff --git a/Jenkins/master-pipeline/Jenkinsfile b/Jenkins/master-pipeline/Jenkinsfile
index 6ae8ee1..da96deb 100644
--- a/Jenkins/master-pipeline/Jenkinsfile
+++ b/Jenkins/master-pipeline/Jenkinsfile
@@ -56,7 +56,7 @@ pipeline {
     }
     post { 
         always { 
-            echo 'Console log is available at https://results.new.llvm-mgerge-guards/${env.BUILD_ID}'
+            sh 'echo "Console log is available at https://results.new.llvm-mgerge-guards/${BUILD_ID}"'
             dir('${env.TARGET_DIR}') {
                 // copy console log to result folder
                 sh 'wget -qO console-log.txt http://jenkins-ui.jenkins.svc.cluster.local:8080/job/${JOB_BASE_NAME}/${BUILD_NUMBER}/consoleText'