From a7a577acad6411f60ffef4331bbfe437b056753e Mon Sep 17 00:00:00 2001
From: Sam Chesney <samc@xmos.com>
Date: Wed, 21 Aug 2019 18:37:07 +0100
Subject: [PATCH] Update cleanup call

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5e404793..044d9bfe 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -133,7 +133,7 @@ pipeline {
       }
       post {
         cleanup {
-          cleanWs()
+          xcoreCleanSandbox()
         }
       }
     }