| changeset 12084 | b367473ef0f1 |
| parent 5520 | 86e4b9a9da40 |
| 12083:c9d98f7e59e8 | 12084:b367473ef0f1 |
|---|---|
39 fi |
39 fi |
40 |
40 |
41 # set platform-dependent variables |
41 # set platform-dependent variables |
42 OS=`uname -s` |
42 OS=`uname -s` |
43 case "$OS" in |
43 case "$OS" in |
44 SunOS | Linux ) |
44 SunOS | Linux | Darwin ) |
45 PS=":" |
45 PS=":" |
46 FS="/" |
46 FS="/" |
47 ;; |
47 ;; |
48 CYGWIN* ) |
48 CYGWIN* ) |
49 PS=":" |
49 PS=":" |