diff --git a/Jenkinsfile b/Jenkinsfile index 11d9306..e68c132 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -41,7 +41,9 @@ pipeline { cp -rv server /tmp/archisotmp/server - mkarchiso -v -w "/tmp/archisotmp/work" -o out "/tmp/archisotmp/server" + mkarchiso -v -w "/tmp/archisotmp/work" -o /tmp/archisotmp/out "/tmp/archisotmp/server" + + rm -rf /tmp/archisotmp ''' } }