| changeset 22602 | 0d9a07b0d7e9 |
| parent 15254 | 3997a6f357cb |
| child 23010 | 6dadb192ad81 |
| 22601:4b01a46075d7 | 22602:0d9a07b0d7e9 |
|---|---|
51 fi |
51 fi |
52 |
52 |
53 # set platform-dependent variables |
53 # set platform-dependent variables |
54 OS=`uname -s` |
54 OS=`uname -s` |
55 case "$OS" in |
55 case "$OS" in |
56 SunOS | Linux | Darwin ) |
56 SunOS | Linux | Darwin | AIX ) |
57 NULL=/dev/null |
57 NULL=/dev/null |
58 PS=":" |
58 PS=":" |
59 FS="/" |
59 FS="/" |
60 ;; |
60 ;; |
61 CYGWIN* ) |
61 CYGWIN* ) |