# HG changeset patch
# User wenzelm
# Date 1373975092 -7200
# Node ID 563b7c8279f9480094b7e39167954109edbb99c0
# Parent  edf3747b9862f77a2f2999087dfd7afb9e076331
dispose intermediate 7z archive;

diff -r edf3747b9862 -r 563b7c8279f9 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Tue Jul 16 13:27:01 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Tue Jul 16 13:44:52 2013 +0200
@@ -182,14 +182,14 @@
     (
       cd "$TMP"
       rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z"
-      7z -y -bd a "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2
+      7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2
 
       echo "application for $PLATFORM_FAMILY"
       (
         cat "windows_app/7zsd_All.sfx"
         cat "$ISABELLE_HOME/Admin/Windows/Installer/sfx.txt" | \
           perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;"
-        cat "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z"
+        cat "$TMP/${ISABELLE_NAME}.7z"
       ) > "${ARCHIVE_DIR}/${ISABELLE_NAME}.exe"
       chmod +x "${ARCHIVE_DIR}/${ISABELLE_NAME}.exe"
     )