changeset 22602 | 0d9a07b0d7e9 |
parent 21349 | 2033e0b90321 |
child 22965 | 78610fb00fff |
22601:4b01a46075d7 | 22602:0d9a07b0d7e9 |
---|---|
46 fi |
46 fi |
47 |
47 |
48 # set platform-dependent variables |
48 # set platform-dependent variables |
49 OS=`uname -s` |
49 OS=`uname -s` |
50 case "$OS" in |
50 case "$OS" in |
51 SunOS | Linux | Darwin ) |
51 SunOS | Linux | Darwin | AIX ) |
52 PS=":" |
52 PS=":" |
53 FS="/" |
53 FS="/" |
54 ;; |
54 ;; |
55 CYGWIN* ) |
55 CYGWIN* ) |
56 PS=";" |
56 PS=";" |