]> git.michaelhowe.org Git - packages/b/bup.git/commit
projects / packages / b / bup.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20076ed) | patch
index: if files were already deleted, don't dirty the index.
authorAvery Pennarun <apenwarr@gmail.com>
Tue, 9 Feb 2010 06:00:21 +0000 (01:00 -0500)
committerAvery Pennarun <apenwarr@gmail.com>
Tue, 9 Feb 2010 06:04:35 +0000 (01:04 -0500)
commite466077b2f094fc3ebd266f235f0c185b1088b1c
tree1be1e615633665e0b631efa3a181a449132fcfeatree | snapshot
parent20076ed815b0ad0957ec20cdfbdb1c90a9762adfcommit | diff
index: if files were already deleted, don't dirty the index.

We had a bug where any deleted files in the index would always dirty all
their parent directories when refreshing, which is inefficient.
cmd-index.py diff | blob | history
index.py diff | blob | history