update-index --split-index: do not split if $GIT_DIR is read only
commita0a967568e8de5306d1889583c4dad0ff937f5ef
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Fri, 13 Jun 2014 12:19:45 +0000 (13 19:19 +0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 13 Jun 2014 18:49:41 +0000 (13 11:49 -0700)
tree789ce1f9f54734f0d0d50ad534c38a1b67bccefe
parentc18b80a0e86c4529146e3947454159627f1419a7
update-index --split-index: do not split if $GIT_DIR is read only

If $GIT_DIR is read only, we can't write $GIT_DIR/sharedindex. This
could happen when $GIT_INDEX_FILE is set to somehwere outside
$GIT_DIR.

Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
read-cache.c