diff --git a/src/org/SHS/Platforms.groovy b/src/org/SHS/Platforms.groovy index f0d7686..8cb25aa 100644 --- a/src/org/SHS/Platforms.groovy +++ b/src/org/SHS/Platforms.groovy @@ -7,13 +7,15 @@ class Platforms { public void get() { steps.stage("Download platforms.json") { - "rm -rf platforms".execute() - "git clone --depth 1 ${steps.env.PLATFORMS_GIT} platforms".execute() + steps.deleteDir("platforms"); + steps.dir("platforms") { + git url: "${steps.env.PLATFORMS_GIT}" + } } } public void forEach(functor, stage_suffix = "") { - def root = steps.readJSON(file: 'platforms/platforms.json') + def root = steps.readJSON(file: 'platforms/*/platforms.json') root.Platforms.each { key, dist -> if (dist.enabled) { steps.stage ("${key}${stage_suffix}") {