From 7036283099ca791dc970948989ab59c96943bfff Mon Sep 17 00:00:00 2001 From: bernatx Date: Wed, 11 Dec 2019 13:42:56 +0100 Subject: [PATCH] New package called 'AdditionalMaps' --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7b18f89da..05294f12a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -53,7 +53,7 @@ pipeline { stage('Package') { steps { sh 'make package' - sh 'make package ARGS="--packages=Town06,Town07 --clean-intermediate"' + sh 'make package ARGS="--packages=AdditionalMaps --clean-intermediate"' } post { always {