Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision d0e4f7f9468eaa47609a6adf8e2050d2cbb9a3f4)
+++ Jenkinsfile	(revision dea0b69067c9e6f004ef7f5ebf8c8b19d4355dac)
@@ -229,9 +229,9 @@
 	sh "${SrcDir}/tools/PrettyGitLogs.sh ${SrcDir} ${BuildDir} ${Settings.GitOldRef} ${Settings.GitNewRef}"
 
-	def result = sh "git rev-list ${Settings.GitOldRef}..${Settings.GitNewRef}"
+	def result = sh(returnStdout: true, script: "git rev-list ${Settings.GitOldRef}..${Settings.GitNewRef}")
 	echo result
 
 	def gitUpdate = readFile("${BuildDir}/GIT_UPDATE")
-	def gitLog    = sh "git rev-list --format=short ${Settings.GitOldRef}...${Settings.GitNewRef}"
+	def gitLog    = sh(returnStdout: true, script: "git rev-list --format=short ${Settings.GitOldRef}...${Settings.GitNewRef}")
 	def gitDiff   = readFile("${BuildDir}/GIT_DIFF")