diff --git a/Jenkinsfile b/Jenkinsfile
index cb30123..fe67218 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,6 +10,6 @@ node {
 	def pl = new org.SHS.Platforms(this)
 	pl.get()
 	pl.forEach ({ dist, toolchain ->
-		sh 'echo build=${env.BUILD_NUMBER}'
+		echo "build=${env.BUILD_NUMBER}"
 	}, whiteList: ["debian"])
 }