From b138210a18789706902557143313a1d8110b494e Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Fri, 16 Sep 2022 13:56:24 +0200
Subject: [PATCH] fix bug on rm command

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6d7f420..82f8b8e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,7 +36,7 @@ pipeline{
         set -e
         export WORKSPACE=$(realpath "./jenkins/workspace/antosaio-docker")
         cd $WORKSPACE
-        [ -d antos ] && rm antos
+        [ -d antos ] && rm -rf antos
         mkdir antos
         cp /var/jenkins_home/workspace/nightly-antosaio/build/* antos -rf
         tree antos
@@ -55,7 +55,7 @@ pipeline{
         set -e
         export WORKSPACE=$(realpath "./jenkins/workspace/antosaio-docker")
         cd $WORKSPACE
-        [ -d antos ] && rm antos
+        [ -d antos ] && rm -rf antos
         mkdir antos
         cp /var/jenkins_home/workspace/nightly-antosaio/build/* antos -rf
         tree antos