From 491a77d9d54ccf8fc3ba48ee1a4e8f6ca4bbad87 Mon Sep 17 00:00:00 2001
From: krzys_h <krzys_h@interia.pl>
Date: Sun, 5 Aug 2018 20:23:36 +0200
Subject: [PATCH] Jenkinsfile: fix builds

Builds were broken since 079d5fc41268917bdeb31a81c9affac0bfc11fc0 and nobody noticed...
---
 Jenkinsfile | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 629cae6a..9dda49c4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,12 +18,15 @@ pipeline {
         }
         stage('Build data') {
             steps {
-                sh '''
-                    cmake -DCMAKE_INSTALL_PREFIX=/install -DCOLOBOT_INSTALL_DATA_DIR=/install/data ..
-                    make
-                    rm -rf install
-                    DESTDIR=. make install
-                '''
+                sh 'mkdir -p build'
+                dir('build') {
+                    sh '''
+                        cmake -DCMAKE_INSTALL_PREFIX=/install -DCOLOBOT_INSTALL_DATA_DIR=/install/data ..
+                        make
+                        rm -rf install
+                        DESTDIR=. make install
+                    '''
+                }
             }
         }