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