[Jenkinsfile] Fix indenting.

This commit is contained in:
/dev/urandom 2017-06-01 22:04:34 +02:00
parent 8732dd68e9
commit 3189c55642
No known key found for this signature in database
GPG Key ID: 41322B973E0F295E

4
Jenkinsfile vendored
View File

@ -126,7 +126,7 @@ def doUnitTests(name) {
timeout(time: 10, unit: "MINUTES") { timeout(time: 10, unit: "MINUTES") {
// Set up environment // Set up environment
if (isUnix()) { if (isUnix()) {
def mw2dir = tool "Modern Warfare 2" def mw2dir = tool "Modern Warfare 2"
sh """ sh """
mkdir -p zone mkdir -p zone
for f in main zone/dlc \"zone/$localization\"; do for f in main zone/dlc \"zone/$localization\"; do
@ -137,7 +137,7 @@ def doUnitTests(name) {
done done
""" """
} else { } else {
def mw2dir = tool "Modern Warfare 2" def mw2dir = tool "Modern Warfare 2"
bat """ bat """
mklink /J \"main\" \"$mw2dir\\main\" mklink /J \"main\" \"$mw2dir\\main\"
mkdir \"zone\" mkdir \"zone\"