diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-10-02 14:10:47 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-03 11:10:33 +0900 |
commit | 937b76ed4970214837314e26265b78793e6653ed (patch) | |
tree | edf45e2942d3d851e1690b0d8caded186b4efa39 /gitk-git/po/pt_pt.po | |
parent | Git 2.23 (diff) | |
download | tgif-937b76ed4970214837314e26265b78793e6653ed.tar.xz |
range-diff: internally force `diff.noprefix=true`
When parsing the diffs, `range-diff` expects to see the prefixes `a/`
and `b/` in the diff headers.
These prefixes can be forced off via the config setting
`diff.noprefix=true`. As `range-diff` is not prepared for that
situation, this will cause a segmentation fault.
Let's avoid that by passing the `--no-prefix` option to the `git log`
process that generates the diffs that `range-diff` wants to parse.
And of course expect the output to have no prefixes, then.
Reported-by: Michal Suchánek <msuchanek@suse.de>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git/po/pt_pt.po')
0 files changed, 0 insertions, 0 deletions