diff options
author | David Aguilar <davvid@gmail.com> | 2017-02-05 13:23:38 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-02-06 10:13:48 -0800 |
commit | d81345ce09c121fb0d18dec5c2535ec8d2a67542 (patch) | |
tree | dfd66a63db19d383530453f73f23b38d60fdf116 /Documentation/git-receive-pack.txt | |
parent | difftool: hack around -Wzero-length-format warning (diff) | |
download | tgif-d81345ce09c121fb0d18dec5c2535ec8d2a67542.tar.xz |
difftool: fix bug when printing usage
"git difftool -h" reports an error:
fatal: BUG: setup_git_env called without repository
Defer repository setup so that the help option processing happens before
the repository is initialized.
Add tests to ensure that the basic usage works inside and outside of a
repository.
Signed-off-by: David Aguilar <davvid@gmail.com>
Acked-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-receive-pack.txt')
0 files changed, 0 insertions, 0 deletions