lib/scripts/polyml-platform
changeset 21279 2cb5f1621bcf
parent 20991 bb6f570512b5
child 21446 3d57db34633b
equal deleted inserted replaced
21278:9442e9d75ada 21279:2cb5f1621bcf
    47       i?86)
    47       i?86)
    48         PLATFORM=x86-darwin
    48         PLATFORM=x86-darwin
    49         ;;
    49         ;;
    50     esac
    50     esac
    51     ;;
    51     ;;
       
    52   CYGWIN_NT*)
       
    53     case $(uname -m) in
       
    54       i?86)
       
    55         PLATFORM=x86-cygwin
       
    56         ;;
       
    57     esac
       
    58     ;;
    52   Windows_NT)
    59   Windows_NT)
    53     case $(uname -m) in
    60     case $(uname -m) in
    54       ?86)
    61       ?86)
    55         PLATFORM=x86-win32
    62         PLATFORM=x86-win32
    56         ;;
    63         ;;