Try to avoid weird race in windows installer packaging

2011-06-23 05:49:05 -04:00 · 2011-06-23 05:49:05 -04:00 · 3fad39b53a
commit 3fad39b53a
parent bb0cea8841
1 changed files with 1 additions and 0 deletions
--- 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() {