From d083edaa483f3fcdc5224cda30e08e5db67dbb9b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 21 Nov 2007 08:57:50 +0000
Subject: [PATCH] sigh

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

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 0a4125e2..2643b656 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -276,7 +276,7 @@ function main () {
 	    show_env
 
 	    ### extract the whole build - much simpler
-	    tmpdir=$(mktemp -d /tmp/$COMMAND.XXXXXX)
+	    tmpdir=/tmp/$COMMAND-$$
 	    svn export $SVNPATH $tmpdir
             # Create vserver
 	    cd $tmpdir
-- 
2.47.0