equal
deleted
inserted
replaced
56 echo "CLASSPATH=${CLASSPATH}" |
56 echo "CLASSPATH=${CLASSPATH}" |
57 |
57 |
58 # set platform-dependent variables |
58 # set platform-dependent variables |
59 OS=`uname -s` |
59 OS=`uname -s` |
60 case "$OS" in |
60 case "$OS" in |
61 SunOS | Linux ) |
61 SunOS | Linux | CYGWIN* ) |
62 NULL=/dev/null |
|
63 PS=":" |
62 PS=":" |
64 FS="/" |
63 FS="/" |
65 ;; |
64 ;; |
66 Windows* ) |
65 Windows* ) |
67 NULL=NUL |
|
68 PS=";" |
66 PS=";" |
69 FS="\\" |
67 FS="\\" |
70 ;; |
68 ;; |
71 * ) |
69 * ) |
72 echo "Unrecognized system!" |
70 echo "Unrecognized system!" |