| changeset 12047 | 320a714614e9 |
| parent 5506 | 202f599c92aa |
| child 14342 | 8435a30053c1 |
| 12046:378aa3362868 | 12047:320a714614e9 |
|---|---|
29 # @summary ZipFile$ZipFileInputStream doesn't close handle to zipfile |
29 # @summary ZipFile$ZipFileInputStream doesn't close handle to zipfile |
30 # |
30 # |
31 |
31 |
32 OS=`uname -s` |
32 OS=`uname -s` |
33 case "$OS" in |
33 case "$OS" in |
34 SunOS ) |
34 SunOS | Linux | Darwin ) |
35 PS=":" |
|
36 FS="/" |
|
37 ;; |
|
38 Linux ) |
|
39 PS=":" |
35 PS=":" |
40 FS="/" |
36 FS="/" |
41 ;; |
37 ;; |
42 CYGWIN* ) |
38 CYGWIN* ) |
43 PS=";" |
39 PS=";" |