1.1 --- a/lib/scripts/polyml-platform	Thu Nov 08 20:07:57 2007 +0100
     1.2 +++ b/lib/scripts/polyml-platform	Thu Nov 08 20:07:58 2007 +0100
     1.3 @@ -27,12 +27,9 @@
     1.4      ;;
     1.5    Linux)
     1.6      case $(uname -m) in
     1.7 -      i?86)
     1.8 +      i?86 | x86_64)
     1.9          PLATFORM=x86-linux
    1.10          ;;
    1.11 -      x86_64)
    1.12 -        PLATFORM=x86_64-linux
    1.13 -        ;;
    1.14        Power* | power* | ppc)
    1.15          PLATFORM=ppc-linux
    1.16          ;;