Andrew's git / gitweb.git / mergetools/bc3
?
mergetools / bc3on commit Merge branch git://github.com/ralfth/git-po-de (167e2f9)
   1diff_cmd () {
   2        "$merge_tool_path" "$LOCAL" "$REMOTE"
   3}
   4
   5merge_cmd () {
   6        touch "$BACKUP"
   7        if $base_present
   8        then
   9                "$merge_tool_path" "$LOCAL" "$REMOTE" "$BASE" \
  10                        -mergeoutput="$MERGED"
  11        else
  12                "$merge_tool_path" "$LOCAL" "$REMOTE" \
  13                        -mergeoutput="$MERGED"
  14        fi
  15        check_unchanged
  16}
  17
  18translate_merge_tool_path() {
  19        if type bcomp >/dev/null 2>/dev/null
  20        then
  21                echo bcomp
  22        else
  23                echo bcompare
  24        fi
  25}