[commit: ghc] wip/jenkins: A bit more paranoia around directory deletion (d580f6d)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/jenkins
Link       : http://ghc.haskell.org/trac/ghc/changeset/d580f6d8e60875c47dd2fd187603140a878e172e/ghc

>---------------------------------------------------------------

commit d580f6d8e60875c47dd2fd187603140a878e172e
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sun Jun 4 10:51:43 2017 -0400

    A bit more paranoia around directory deletion
    
    It seems that the finally block never executes in some cases. Arg.


>---------------------------------------------------------------

d580f6d8e60875c47dd2fd187603140a878e172e
 Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6615265..b7c9db5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -196,7 +196,10 @@ def getMakeValue(String makeCmd, String value) {
 }
 
 def withTempDir(String name, Closure f) {
-  sh "mkdir ${name}"
+  sh """
+     rm -Rf ${name} || true
+     mkdir ${name}
+     """
   dir(name) {
     try {
       f()