diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-05-29 01:48:57 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-05-29 04:38:20 +0400 |
| commit | d2b3691b61d516a0ad2bf700a2a5d9113ceff0b1 (patch) | |
| tree | 70a03d79431c4024e3dc3cb07bd5bfad7a0911cb /diff.h | |
| parent | a7052d3521de1210026bf5a29d57c37ee7800166 (diff) | |
"git checkout -- paths..." should error out when paths cannot be written
When "git checkout -- paths..." cannot update work tree for whatever
reason, checkout_entry() correctly issued an error message for the path to
the end user, but the command ignored the error, causing the entire
command to succeed. This fixes it.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'diff.h')
0 files changed, 0 insertions, 0 deletions