From 7100b17e5f23e7c8fdc71ea4d691891b1c329067 Mon Sep 17 00:00:00 2001
From: Parker Burnett <jpburnett@gwu.edu>
Date: Mon, 19 Dec 2022 21:13:52 -0800
Subject: [PATCH] Jenkinsfile update (#1474)

* Updating Jenkinsfile for a more thorough cleanup

* adding steps to the clean stage

* jk, maybe we don't want to do an initial clean...

* how about now?

* okay, surely now
---
 Jenkinsfile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9ea1d6fb93..b4c23f20a0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -62,7 +62,15 @@ pipeline {
     }
     post {
         always {
-            cleanWs()
+            echo "Finished, deleting directory."
+            deleteDir()
+        }
+        cleanup {
+            echo "Clean up in post."
+            cleanWs(cleanWhenNotBuilt: false,
+                    deleteDirs: true,
+                    disableDeferredWipeout: true,
+                    notFailBuild: true)
         }
     }
 }