# This extracts OUR file in $orig, and uses git-apply to
# remove lines that are unique to ours.
diff -u -La/$orig -Lb/$orig $orig $src2 | git-apply --no-add
+ # If we do not have enough common material, it is not
+ # worth trying two-file merge using common subsections.
+ expr "$sz0" \< "$sz1" \* 2 >/dev/null || : >$orig