Makefile: make hdr-check depend on generated headers
[alt-git.git] / mergetools / opendiff
blob44adf8f95155cb4adb9a29de3ea28ca67ad579e8
1 diff_cmd () {
2         "$merge_tool_path" "$LOCAL" "$REMOTE" | cat
5 diff_cmd_help () {
6         echo "Use FileMerge (requires a graphical session)"
9 merge_cmd () {
10         if $base_present
11         then
12                 "$merge_tool_path" "$LOCAL" "$REMOTE" \
13                         -ancestor "$BASE" -merge "$MERGED" | cat
14         else
15                 "$merge_tool_path" "$LOCAL" "$REMOTE" \
16                         -merge "$MERGED" | cat
17         fi
20 merge_cmd_help () {
21         echo "Use FileMerge (requires a graphical session)"