From fedd853d0e3d6ba8765fe99d8d0a12af48fca17d Mon Sep 17 00:00:00 2001 From: Sergio Oliveira Date: Thu, 22 Jan 2015 18:59:09 -0200 Subject: [PATCH] Only erase coverage data_file if it exists --- runtests.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/runtests.py b/runtests.py index 00ed203..7ff1c65 100755 --- a/runtests.py +++ b/runtests.py @@ -23,6 +23,7 @@ def runtests(): if __name__ == '__main__': - os.remove('.coverage') + if os.path.exists('.coverage'): + os.remove('.coverage') coverage.process_startup() runtests() -- libgit2 0.21.2