From e9ba12bc87a514510467ea54a4b7efa6ccce2d19 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Fri, 27 Nov 2020 10:14:27 +0100
Subject: [PATCH] Jenkinsfile: always clean build directories

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e3c0802..a936369 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -46,7 +46,7 @@ PGPORT=`python -c 'import struct; import socket; s=socket.socket(); s.setsockopt
                 utils.mail_notify(currentBuild, env, 'ci+jenkins-petale@entrouvert.org')
             }
         }
-        success {
+        cleanup {
             sh "rm -rf ${env.TMPDIR}"
             cleanWs()
         }