diff options
author | Luca Milanesio | 2018-07-08 22:41:00 +0000 |
---|---|---|
committer | Luca Milanesio | 2018-07-08 22:44:17 +0000 |
commit | 5a8ad44208c8b711077b9235839b66cd50803ede (patch) | |
tree | ba5cd59191d705c577090711b671a66d8b7555a1 /.gitattributes | |
parent | 1dcb0688c7c229501e6a486c03ffe251d5ed2761 (diff) | |
download | jgit-5a8ad44208c8b711077b9235839b66cd50803ede.tar.gz jgit-5a8ad44208c8b711077b9235839b66cd50803ede.tar.xz jgit-5a8ad44208c8b711077b9235839b66cd50803ede.zip |
Do not ignore path deletion errors
Log as warning when an attempt to remove a directory
fails. This helps troubleshooting some bugs like the GC leaving
behind empty directories.
Change-Id: Idb94ce17f8be9668a970c7ecae31436bf434073c
Signed-off-by: Luca Milanesio <luca.milanesio@gmail.com>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions