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