diff --git a/Jenkins/Jenkinsfile-deb-pkg b/Jenkins/Jenkinsfile-deb-pkg index 734ad8a..9b34f65 100644 --- a/Jenkins/Jenkinsfile-deb-pkg +++ b/Jenkins/Jenkinsfile-deb-pkg @@ -70,6 +70,7 @@ pipeline { agent { label 'debian-repo' } steps { sh "aptly repo add opengnsys-devel /var/tmp/opengnsys/debian-repo/ogboot/*.deb" + sh "rm -rf /var/tmp/opengnsys/debian-repo/ogboot/*" } } }