| changeset 13523 | 6a7f3e56a242 |
| parent 13469 | 9a2973794d8c |
| child 16457 | 92af83361777 |
| 13522:5ad4627e792a | 13523:6a7f3e56a242 |
|---|---|
63 FS="\\" |
63 FS="\\" |
64 RM=rm |
64 RM=rm |
65 CP=cp |
65 CP=cp |
66 MV=mv |
66 MV=mv |
67 ;; |
67 ;; |
68 CYGWIN_* ) |
|
69 NULL=/dev/null |
|
70 PS=";" |
|
71 FS="/" |
|
72 RM=rm |
|
73 CP=cp |
|
74 MV=mv |
|
75 ;; |
|
68 * ) |
76 * ) |
69 echo "Unrecognized system!" |
77 echo "Unrecognized system!" |
70 exit 1; |
78 exit 1; |
71 ;; |
79 ;; |
72 esac |
80 esac |