diff --git a/Jenkinsfile b/Jenkinsfile
index 25509ef..9dceb15 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -45,7 +45,7 @@ PGPORT=`python3 -c 'import struct; import socket; s=socket.socket(); s.setsockop
             }
         }
         cleanup {
-            sh "find ${env.TMPDIR} -type f -delete; rm -rf ${env.TMPDIR}"
+            sh "rm -rf ${env.TMPDIR}"
             cleanWs()
         }
     }