| changeset 3768 | 46e043243c0e |
| parent 10 | 06bc494ca11e |
| child 3890 | b53fced26fa4 |
| 3767:075148138f51 | 3768:46e043243c0e |
|---|---|
38 echo "TESTJAVA=${TESTJAVA}" |
38 echo "TESTJAVA=${TESTJAVA}" |
39 |
39 |
40 # set platform-dependent variables |
40 # set platform-dependent variables |
41 OS=`uname -s` |
41 OS=`uname -s` |
42 case "$OS" in |
42 case "$OS" in |
43 SunOS | Linux ) |
43 SunOS | Linux | CYGWIN* ) |
44 FS="/" |
44 FS="/" |
45 ;; |
45 ;; |
46 Windows* ) |
46 Windows* ) |
47 FS="\\" |
47 FS="\\" |
48 ;; |
48 ;; |