From ca190a3a807968db10c42841a418d57d98c4b481 Mon Sep 17 00:00:00 2001
From: /dev/urandom <iw4x-dev-urandom@protonmail.com>
Date: Tue, 13 Sep 2016 03:10:33 +0200
Subject: [PATCH] Jenkinsfile: Versioning, mute the shell crap.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index dbc4055e..b0d44feb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -110,7 +110,7 @@ stage("Checkout & Versioning") {
 		checkout scm
 
 		useShippedPremake {
-			def version = bat(returnStdout: true, script: 'premake5 version').split("\r?\n")[1]
+			def version = bat(returnStdout: true, script: '@premake5 version').split("\r?\n")[1]
 
 			currentBuild.setDisplayName "$version (#${env.BUILD_NUMBER})"
 		}