diff --git a/Jenkinsfile b/Jenkinsfile
index eeab4d975..688e6a8bd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -323,6 +323,13 @@ pipeline
                         }
                     }
                 }
+                post
+                {
+                    always
+                    {
+                        deleteDir()
+                    }
+                }
                 /*
                 stage('windows')
                 {