diff --git a/collects/meta/build/build b/collects/meta/build/build index 9aecb53a2e..060abc2e49 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -230,16 +230,16 @@ name_of_platform() { "$(last_part_capital "$1")" ;; ( "i386-freebsd" ) echo "FreeBSD" ;; ( "sparc-solaris" ) echo "Solaris" ;; - ( "i386-osx-mac" ) echo "Mac OS X (Intel)" ;; + ( "i386-osx-mac" ) echo "Mac OS X (Intel 32-bit)" ;; ( "ppc-osx-mac" ) echo "Mac OS X (PPC)" ;; - ( "x86_64-osx-mac" ) echo "Mac OS X (x86_64)" ;; - ( "ppc-darwin" ) echo "Mac X11 on Darwin (PPC)" ;; - ( "i386-darwin" ) echo "Mac X11 on Darwin (Intel)" ;; - ( "i386-win32" ) echo "Windows" ;; - ( "x86_64-win32" ) echo "Windows x64" ;; + ( "x86_64-osx-mac" ) echo "Mac OS X (32-bit 64-bit)" ;; + ( "ppc-darwin" ) echo "X11 on Darwin (PPC)" ;; + ( "i386-darwin" ) echo "X11 on Darwin (Intel)" ;; + ( "i386-win32" ) echo "Windows (x86, 32-bit)" ;; + ( "x86_64-win32" ) echo "Windows (x64, 64-bit)" ;; # These are source distribution platforms ( "unix" ) echo "Unix" ;; - ( "mac" ) echo "Macintosh" ;; + ( "mac" ) echo "Mac OS X" ;; ( "win" ) echo "Windows" ;; ( * ) exit_error "Unknown platform name for name_of_platform \"$1\"" ;; esac diff --git a/collects/meta/web/minis/bugs.rkt b/collects/meta/web/minis/bugs.rkt index 7585a1edfd..621916edcd 100644 --- a/collects/meta/web/minis/bugs.rkt +++ b/collects/meta/web/minis/bugs.rkt @@ -7,13 +7,15 @@ ;; a starred option is the default (define platform-options '([* "...or choose" ""] + ["Windows 7/Vista, 32-bit" windows-7-32] + ["Windows 7/Vista, 64-bit" windows-7-64] ["Windows Vista" windows-vista] ["Windows XP" windows-xp] ["Windows 2000" windows-2000] ["Windows NT" windows-nt] ["Windows 95/98/Me" windows-9x] - ["Macintosh PowerPC (MacOS X)" mac-ppc-osx] - ["Macintosh Intel (MacOS X)" mac-i386-osx] + ["Mac OS X PowerPC (MacOS X)" mac-ppc-osx] + ["Mac OS X Intel (MacOS X)" mac-i386-osx] ["Linux, Fedora/RedHat based" linux-fedora] ["Linux, Ubuntu/Debian based" linux-ubuntu] ["Linux, other distro" linux-other]