mirror of
https://github.com/git/git.git
synced 2024-11-25 02:44:48 +08:00
16 lines
286 B
Plaintext
16 lines
286 B
Plaintext
|
diff_cmd () {
|
||
|
"$merge_tool_path" "$LOCAL" "$REMOTE" >/dev/null 2>&1
|
||
|
}
|
||
|
|
||
|
merge_cmd () {
|
||
|
if $base_present
|
||
|
then
|
||
|
"$merge_tool_path" --merge --result="$MERGED" \
|
||
|
"$LOCAL" "$BASE" "$REMOTE"
|
||
|
else
|
||
|
"$merge_tool_path" --merge \
|
||
|
--result="$MERGED" "$LOCAL" "$REMOTE"
|
||
|
fi
|
||
|
status=$?
|
||
|
}
|