Tools: remove build before running coverage

Stop losing a run because a file has been removed.
5 years ago · 57300d0769
1 changed files with 2 additions and 0 deletions
--- a/Tools/scripts/run-coverage
+++ b/Tools/scripts/run-coverage
@ -18,6 +18,8 @@ TIMEOUT=14400
				@@ -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