comparison: test/runtime/6878713/Test6878713.sh
test/runtime/6878713/Test6878713.sh
- changeset 4022
- 83b6305a5638
- parent 3985
- 6acee021f5ac
- child 4802
- eca90b8a06eb
- child 4831
- 04d6d4322c6a
equal
deleted
inserted
replaced
36 Windows_* ) |
36 Windows_* ) |
37 NULL=NUL |
37 NULL=NUL |
38 PS=";" |
38 PS=";" |
39 FS="\\" |
39 FS="\\" |
40 ;; |
40 ;; |
|
41 CYGWIN_* ) |
|
42 NULL=/dev/null |
|
43 PS=";" |
|
44 FS="/" |
|
45 ;; |
41 * ) |
46 * ) |
42 echo "Unrecognized system!" |
47 echo "Unrecognized system!" |
43 exit 1; |
48 exit 1; |
44 ;; |
49 ;; |
45 esac |
50 esac |