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

[git at git.haskell.org]

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

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

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

commit d78b4ccb4daf27cc67749187be5e7f45b601ce00
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.


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

d78b4ccb4daf27cc67749187be5e7f45b601ce00
 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()