From 8ba3e241ece2114fa877b789c1d7a550937f55aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20K=C3=BChnel?= <kuhnel@google.com>
Date: Wed, 23 Oct 2019 12:08:34 -0700
Subject: [PATCH] fixed echo statement

---
 Jenkins/master-pipeline/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkins/master-pipeline/Jenkinsfile b/Jenkins/master-pipeline/Jenkinsfile
index 35cc923..47ad2e8 100644
--- a/Jenkins/master-pipeline/Jenkinsfile
+++ b/Jenkins/master-pipeline/Jenkinsfile
@@ -56,7 +56,7 @@ pipeline {
     }
     post { 
         always { 
-            sh "echo Console log is available at https://results.new.llvm-mgerge-guards/${env.BUILD_ID}"
+            echo "Console log is available at https://results.new.llvm-mgerge-guards/${env.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/${env.JOB_BASE_NAME}/${env.BUILD_NUMBER}/consoleText"