Thorsten Glaser <[email protected]> writes:
> On Thu, 14 Jul 2016, Junio C Hamano wrote:
>
>> Can't this become simpler, e.g.
>>
>> if ! git diff-tree --quiet "$old" "$new" -- "$subdir"
>
> Thought about diff-tree, but additions are permitted,
diff-tree -r --diff-filter=a "$old" "$new" -- "$subdir"
or something like that?
> and diffing the actual file content has overhead too.
It is why exactly "diff-tree" is desired here, as you do not have to
diff actual file at all.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
