From 57300d0769bd8a49dd2dba782e8f8f565812a499 Mon Sep 17 00:00:00 2001
From: Peter Barker <pbarker@barker.dropbear.id.au>
Date: Sun, 5 Jan 2020 10:31:52 +1100
Subject: [PATCH] Tools: remove build before running coverage

Stop losing a run because a file has been removed.
---
 Tools/scripts/run-coverage | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Tools/scripts/run-coverage b/Tools/scripts/run-coverage
index f7200c2347..488194f583 100755
--- a/Tools/scripts/run-coverage
+++ b/Tools/scripts/run-coverage
@@ -18,6 +18,8 @@ TIMEOUT=14400
 
 OPTS="--speedup=$SPEEDUP --timeout=$TIMEOUT --debug --no-clean"
 
+rm -rf build
+
 # Run examples
 ./waf configure --board=linux --debug
 ./waf examples