diff options
author | 2017-09-08 19:04:42 +0000 | |
---|---|---|
committer | 2017-09-08 19:04:42 +0000 | |
commit | bbb0b46e10da23efe6a12c580164e103eb71b334 (patch) | |
tree | 485364452a5aee0ce9b6f0351970119b05c541d7 /jjb/global | |
parent | 897562894530a0227e78cf546f629809437925e0 (diff) | |
parent | 510e38e4a832afb96885f9d21156ef095519cd23 (diff) |
Merge "installers: Use global macro 'clean-workspace'"
Diffstat (limited to 'jjb/global')
-rw-r--r-- | jjb/global/releng-macros.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/jjb/global/releng-macros.yml b/jjb/global/releng-macros.yml index 20b13b8be..59415f5ca 100644 --- a/jjb/global/releng-macros.yml +++ b/jjb/global/releng-macros.yml @@ -468,6 +468,16 @@ fi - builder: + name: clean-workspace + builders: + - shell: | + #!/bin/bash + set -o errexit + set -o nounset + set -o pipefail + sudo /bin/rm -rf "$WORKSPACE" + +- builder: name: clean-workspace-log builders: - shell: | |