From 5a61e9761921189e82076cf713d9d8117a513b74 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 17 Mar 2022 11:28:13 +0100
Subject: [PATCH] Jenkinsfile: remove use of find

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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()
         }
     }