| changeset 1881 | 4392ccefe432 |
| parent 1880 | 05c7d75be925 |
| child 1884 | 4e44ca05a866 |
| 1880:05c7d75be925 | 1881:4392ccefe432 |
|---|---|
4 # |
4 # |
5 # This tries to find a way to do three-way merge on the current system. |
5 # This tries to find a way to do three-way merge on the current system. |
6 # The result ought to end up in $1. |
6 # The result ought to end up in $1. |
7 |
7 |
8 set -e # bail out quickly on failure |
8 set -e # bail out quickly on failure |
9 |
|
10 echo $1 $2 $3 |
|
11 |
9 |
12 LOCAL="$1" |
10 LOCAL="$1" |
13 BASE="$2" |
11 BASE="$2" |
14 OTHER="$3" |
12 OTHER="$3" |
15 |
13 |