Skip to main content

Browse the archive

Revision df3c41adeb212432c53d93ce6ace5d5374dc6e11 authored by Junio C Hamano on 14 January 2022, 23:26:53 UTC, committed by Junio C Hamano on 14 January 2022, 23:26:53 UTC 
Git 2.35-rc1
 
Signed-off-by: Junio C Hamano <gitster@pobox.com>
1 parent 36b6571
Raw File
bc 
diff_cmd () {
	"$merge_tool_path" "$LOCAL" "$REMOTE"
}

merge_cmd () {
	if $base_present
	then
		"$merge_tool_path" "$LOCAL" "$REMOTE" "$BASE" \
			-mergeoutput="$MERGED"
	else
		"$merge_tool_path" "$LOCAL" "$REMOTE" \
			-mergeoutput="$MERGED"
	fi
}

translate_merge_tool_path() {
	if type bcomp >/dev/null 2>/dev/null
	then
		echo bcomp
	else
		echo bcompare
	fi
}

list_tool_variants () {
	echo bc
	echo bc3
	echo bc4
}
back to top