lib/scripts/polyml-platform
changeset 20991 bb6f570512b5
parent 16994 a69d0496a724
child 21279 2cb5f1621bcf
equal deleted inserted replaced
20990:0c1296049b47 20991:bb6f570512b5
    42   Darwin)
    42   Darwin)
    43     case $(uname -m) in
    43     case $(uname -m) in
    44       Power* | power* | ppc)
    44       Power* | power* | ppc)
    45         PLATFORM=ppc-darwin
    45         PLATFORM=ppc-darwin
    46         ;;
    46         ;;
       
    47       i?86)
       
    48         PLATFORM=x86-darwin
       
    49         ;;
    47     esac
    50     esac
    48     ;;
    51     ;;
    49   Windows_NT)
    52   Windows_NT)
    50     case $(uname -m) in
    53     case $(uname -m) in
    51       ?86)
    54       ?86)