Revert the whole "ask curl-config" topic for now
[git/raj.git] / mergetools / diffmerge
blob85ac7201571ed34c35a3613b97bd1b82982e0d61
1 diff_cmd () {
2         "$merge_tool_path" "$LOCAL" "$REMOTE" >/dev/null 2>&1
5 merge_cmd () {
6         if $base_present
7         then
8                 "$merge_tool_path" --merge --result="$MERGED" \
9                         "$LOCAL" "$BASE" "$REMOTE"
10         else
11                 "$merge_tool_path" --merge \
12                         --result="$MERGED" "$LOCAL" "$REMOTE"
13         fi
14         status=$?