From aa04fbac2cd935548bcefb12b2992491fb5fc5dc Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 21 Nov 2007 10:15:38 +0000
Subject: [PATCH] oops again

---
 vbuild-nightly.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 2643b656..c8a41a9c 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -283,7 +283,7 @@ function main () {
 	    ./vbuild-init-vserver.sh ${BASE} ${FCDISTRO} ${PLDISTRO}
 	    # cleanup
 	    cd -
-	    rm -f $tmpdir
+	    rm -rf $tmpdir
 	    # Extract build again - in the vserver
 	    vserver ${BASE} exec svn export ${SVNPATH} /build
 	fi
-- 
2.47.0