lib/scripts/polyml-platform
changeset 25348 510b46987886
parent 24474 33da394f0888
child 29145 b1c6f4563df7
equal deleted inserted replaced
25347:297e2520ee82 25348:510b46987886
    25         ;;
    25         ;;
    26     esac
    26     esac
    27     ;;
    27     ;;
    28   Linux)
    28   Linux)
    29     case $(uname -m) in
    29     case $(uname -m) in
    30       i?86)
    30       i?86 | x86_64)
    31         PLATFORM=x86-linux
    31         PLATFORM=x86-linux
    32         ;;
       
    33       x86_64)
       
    34         PLATFORM=x86_64-linux
       
    35         ;;
    32         ;;
    36       Power* | power* | ppc)
    33       Power* | power* | ppc)
    37         PLATFORM=ppc-linux
    34         PLATFORM=ppc-linux
    38         ;;
    35         ;;
    39     esac
    36     esac