diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2021-04-21 13:29:52 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2021-04-21 13:29:52 +0200 |
commit | a0def163b8628079e7dfdeeec2c69c55b6132a81 (patch) | |
tree | 6313172f01dad133618ad836ec1645cedd5e313e | |
parent | abfb22ee255d0a4a4c387634c5336df33dc57bab (diff) | |
download | seabios-a0def163b8628079e7dfdeeec2c69c55b6132a81.tar.gz |
shell cleanup
-rw-r--r-- | Jenkinsfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index e6a4929..891e42d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -21,6 +21,9 @@ def RPMSource() { def RPMBuild() { sh ''' + # cleanup + rm -rf rpms + # fresh snapshot tarball rm -f *.tar.gz (cd source; scripts/tarball.sh) |