Admin/polyml/bin/polyml-platform
changeset 11393 ee3d40b5ac23
parent 11074 100637226ff5
child 15878 8192fcf13618
equal deleted inserted replaced
11392:3078f52ee552 11393:ee3d40b5ac23
    38     esac
    38     esac
    39     ;;
    39     ;;
    40   Darwin)
    40   Darwin)
    41     case `uname -m` in
    41     case `uname -m` in
    42       Power* | power* | ppc)
    42       Power* | power* | ppc)
    43         PLATFORM=ppc-bsd
    43         PLATFORM=ppc-darwin
    44         ;;
    44         ;;
    45     esac
    45     esac
    46     ;;
    46     ;;
    47   Windows_NT)
    47   Windows_NT)
    48     case `uname -m` in
    48     case `uname -m` in