From da9fbc1fdb470ba23e91cdfa27f5bc3b9a39a99f Mon Sep 17 00:00:00 2001 From: Nicolas Arenas Date: Wed, 26 Mar 2025 13:24:26 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkins/Jenkinsfile-deb-pkg | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkins/Jenkinsfile-deb-pkg b/Jenkins/Jenkinsfile-deb-pkg index f032770..a2a176b 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/oggui/*.deb" + sh "rm -f /var/tmp/opengnsys/debian-repo/oggui/*.deb" } } }