Jenkinsfile: fix builds

Builds were broken since 079d5fc412 and nobody noticed...
2018-08-05 20:23:36 +02:00 · 2018-08-05 20:23:36 +02:00 · 491a77d9d5
parent 31b7d3f9ba
commit 491a77d9d5
1 changed files with 9 additions and 6 deletions
--- a/15
+++ b/15
@ -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
+                    '''
+                }
            }
        }