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