diff --git a/Jenkinsfile b/Jenkinsfile
index 892ff82..95047f8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -44,7 +44,7 @@ PGPORT=`python -c 'import struct; import socket; s=socket.socket(); s.setsockopt
                 utils.mail_notify(currentBuild, env, 'ci+jenkins-authentic2-cut@entrouvert.org')
             }
         }
-        success {
+        cleanup {
             sh "find ${env.TMPDIR} -type f -delete; rm -rf ${env.TMPDIR}"
             cleanWs()
         }