| changeset 22602 | 0d9a07b0d7e9 |
| parent 14342 | 8435a30053c1 |
| 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 PS=":" ;; |
51 PS=":" ;; |
52 Windows* | CYGWIN* ) |
52 Windows* | CYGWIN* ) |
53 PS=";" ;; |
53 PS=";" ;; |
54 * ) |
54 * ) |
55 echo "Unrecognized system!" |
55 echo "Unrecognized system!" |