From b7f7915d188055f914412e50a41f89e61c1f7647 Mon Sep 17 00:00:00 2001
From: Nicolas Arenas <narenas@qindel.com>
Date: Wed, 26 Mar 2025 12:03:59 +0100
Subject: [PATCH] Jenkins delete old deb files

---
 Jenkins/Jenkinsfile-deb-pkg | 1 +
 1 file changed, 1 insertion(+)

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/*"
             }
         }
     }