lib/scripts/polyml-platform
changeset 21446 3d57db34633b
parent 21279 2cb5f1621bcf
child 24474 33da394f0888
equal deleted inserted replaced
21445:0d562bf8ac3e 21446:3d57db34633b
    22         ;;
    22         ;;
    23     esac
    23     esac
    24     ;;
    24     ;;
    25   Linux)
    25   Linux)
    26     case $(uname -m) in
    26     case $(uname -m) in
    27       i?86 | x86_64)
    27       i?86)
    28         PLATFORM=x86-linux
    28         PLATFORM=x86-linux
       
    29         ;;
       
    30       x86_64)
       
    31         PLATFORM=x86_64-linux
    29         ;;
    32         ;;
    30       Power* | power* | ppc)
    33       Power* | power* | ppc)
    31         PLATFORM=ppc-linux
    34         PLATFORM=ppc-linux
    32         ;;
    35         ;;
    33     esac
    36     esac