From bfde39166aa0d8c93f77541be2ac69392abc813c Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Fri, 5 Aug 2022 11:52:17 +0200
Subject: [PATCH] Update 'Jenkinsfile'

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7c93de2..8b8ccd2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,6 +36,9 @@ pipeline{
         set -e
         export WORKSPACE=$(realpath "./jenkins/workspace/antosaio-docker")
         cd $WORKSPACE
+        [ -d antos ] && rm antos
+        mkdir antos
+        cp /var/jenkins_home/workspace/nightly-antosaio/build/* antos -rf
         docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64
         for arch in arm arm64 amd64  ; do
             docker buildx build \