From c5145dbe648cb15761cf48ad3f515f76dabd8558 Mon Sep 17 00:00:00 2001
From: Daniel <dnovillo@cvc.uab.es>
Date: Thu, 28 Feb 2019 14:15:27 +0100
Subject: [PATCH] Jenkins settings updated

---
 Jenkinsfile              | 2 ++
 Util/ContentVersions.txt | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5b4cd8ab2..104c14efd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -51,10 +51,12 @@ pipeline {
         stage('Package') {
             steps {
                 sh 'make package'
+                sh 'make export-maps ARGS="--map=/Game/Carla/Maps/Town06 --file=Town06"'
             }
             post {
                 always {
                     archiveArtifacts 'Dist/*.tar.gz'
+                    archiveArtifacts 'ExportedMaps/*.tar.gz'
                 }
             }
         }
diff --git a/Util/ContentVersions.txt b/Util/ContentVersions.txt
index 96f905224..a987520ea 100644
--- a/Util/ContentVersions.txt
+++ b/Util/ContentVersions.txt
@@ -17,4 +17,4 @@
 0.9.1: 1IZDzNQNVL67h8UlGyKuGegLH612Ifd7H
 0.9.2: 1RKRGB22U5t80q4zwYXBJvxQXhzNjaaDf
 0.9.3: 1jJlStNHpey62CrMkWVfmtQcJGO7PaD0R
-Latest: 1LA1dLOozATCaJryqT7U_nOBR_nPVnBC8
+Latest: 1jSrhk8yTk_bS1UVAZfkIqtlAJ3lCoI9b