summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorOleg Pykhalov <go.wigust@gmail.com>2020-04-02 11:24:34 +0300
committerOleg Pykhalov <go.wigust@gmail.com>2020-04-02 11:47:40 +0300
commit69c83d5fdd59dfbdf9cddc6432b18c141d46a4d6 (patch)
tree9e3e7f23cfc563f3b1c7ecc39b54e48cc05f945f /Jenkinsfile
parentJenkinsfile: Invoke Git in parallel. (diff)
downloadmajordomo-maintenance-master.tar.gz
Jenkinsfile: Clean up remote repositories.HEADmaster
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index ac13c16..8c386c2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,12 +8,14 @@ node("master") {
checkout scm
dir("/home/oleg/majordomo") {
- List<String> gitDirectories = (sh (script: "ls --directory -1 */*", returnStdout: true)).split("\n")
+ List<String> gitDirectories = (sh (script: 'ls --directory -1 */*', returnStdout: true)).split("\n")
gitDirectories.collate(params.PARALLEL.toInteger())
.each { directories ->
parallel (directories.collectEntries { directory ->
[(directory): {warnError("Failed to update Git repository in $directory"){
- sh "git -C $directory checkout master || git -C $directory pull --rebase; git -C $directory pull --rebase"
+ sh (["git -C $directory checkout master || true",
+ "git -C $directory pull --rebase",
+ "$WORKSPACE/clean.sh $directory"].join("; "))
}}]
})
}