equal
deleted
inserted
replaced
30 case "$OS" in |
30 case "$OS" in |
31 SunOS | Linux ) |
31 SunOS | Linux ) |
32 PS=":" |
32 PS=":" |
33 FS="/" |
33 FS="/" |
34 ;; |
34 ;; |
|
35 CYGWIN* ) |
|
36 PS=";" |
|
37 FS="/" |
|
38 ;; |
35 Windows* ) |
39 Windows* ) |
36 PS=";" |
40 PS=";" |
37 FS="\\" |
41 FS="\\" |
38 ;; |
42 ;; |
39 * ) |
43 * ) |