Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
changeset 67994 11be98cefe92
parent 67761 c07bc12d89f2
child 68080 17f79ae49401 
--- a/Admin/lib/Tools/makedist_bundle	Tue Apr 17 15:34:58 2018 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Tue Apr 17 15:59:41 2018 +0200
@@ -404,7 +404,7 @@
 
       echo "application for $PLATFORM_FAMILY"
       (
-        cat "windows_app/7zsd_All.sfx"
+        cat "windows_app/7zsd_All_x64.sfx"
         cat "$ISABELLE_HOME/Admin/Windows/Installer/sfx.txt" | \
           perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;"
         cat "$TMP/${ISABELLE_NAME}.7z"
isabelle