From 3fad39b53a32dc6655a69443e5454b3a3f740e28 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Thu, 23 Jun 2011 05:49:05 -0400
Subject: [PATCH] Try to avoid weird race in windows installer packaging

---
 collects/meta/build/build | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/meta/build/build b/collects/meta/build/build
index 8f80d08ef7..4d9b0712de 100755
--- a/collects/meta/build/build
+++ b/collects/meta/build/build
@@ -1735,6 +1735,7 @@ do_tgz_to_exe() {
   || exit_error "NSIS build failed"
   _mv "installer.exe" "$tmpexe"
   _cd "$savedpwd"
+  sleep 1 # looks like there are some problems deleting this immediately
   _rm "$tmpdir/tgz-to-exe-$$"
 }
 tgz_to_exe() {