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 61034 0776a4adc3d5
parent 61002 8c52177fb436
child 61132 70029aae9a9f 
--- a/Admin/lib/Tools/makedist_bundle	Wed Aug 26 14:59:26 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Wed Aug 26 16:34:34 2015 +0200
@@ -370,7 +370,7 @@
     windows)
       (
         if [ "$PLATFORM_FAMILY" = windows ]; then
-          PLATFORM_SUFFIX=""
+          PLATFORM_SUFFIX="-win32"
         else
           PLATFORM_SUFFIX="-win64"
         fi
isabelle