diff --git a/Jenkins/Jenkinsfile-deb-pkg b/Jenkins/Jenkinsfile-deb-pkg index 9ad53b7..794d4cf 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/ogcore/*.deb" + sh "rm -rf /var/tmp/opengnsys/debian-repo/ogcore/*" } } }