| changeset 22602 | 0d9a07b0d7e9 |
| parent 18169 | deb6268716ef |
| child 23010 | 6dadb192ad81 |
| 22601:4b01a46075d7 | 22602:0d9a07b0d7e9 |
|---|---|
47 fi |
47 fi |
48 |
48 |
49 # set platform-dependent variables |
49 # set platform-dependent variables |
50 OS=`uname -s` |
50 OS=`uname -s` |
51 case "$OS" in |
51 case "$OS" in |
52 SunOS | Linux | Darwin ) |
52 SunOS | Linux | Darwin | AIX ) |
53 NULL=/dev/null |
53 NULL=/dev/null |
54 PS=":" |
54 PS=":" |
55 FS="/" |
55 FS="/" |
56 ;; |
56 ;; |
57 CYGWIN* ) |
57 CYGWIN* ) |