diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-01-29 06:19:35 -0800 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-01-29 09:26:47 -0800 |
| commit | 046e90d1c98addb9658b855f0f1253682a777cd2 (patch) | |
| tree | fd854cf16189c7096542400f57b2c6acd7e3f6a1 /Documentation/git-check-ignore.txt | |
| parent | tests: include detailed trace logs with --write-junit-xml upon failure (diff) | |
| download | tgif-046e90d1c98addb9658b855f0f1253682a777cd2.tar.xz | |
mingw: try to work around issues with the test cleanup
It seems that every once in a while in the Git for Windows SDK, there
are some transient file locking issues preventing the test clean up to
delete the trash directory. Let's be gentle and try again five seconds
later, and only error out if it still fails the second time.
This change helps Windows, and does not hurt any other platform
(normally, it is highly unlikely that said deletion fails, and if it
does, normally it will fail again even 5 seconds later).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-check-ignore.txt')
0 files changed, 0 insertions, 0 deletions