From 33950c96feae9fa21b3de46837e83cc236af3d1b Mon Sep 17 00:00:00 2001 From: Filip Bucek Date: Fri, 8 Nov 2019 18:19:23 +0100 Subject: [PATCH] updating code coverage --- scripts/codecoverage.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/codecoverage.sh b/scripts/codecoverage.sh index e224a26..0ce205c 100755 --- a/scripts/codecoverage.sh +++ b/scripts/codecoverage.sh @@ -35,6 +35,7 @@ fi +if [ -d $BUILDPATH ]; then info "Removing build path: $BUILDPATH"; rm -rf $BUILDPATH; fi info "Creating: $BUILDPATH" mkdir -p $BUILDPATH cd $BUILDPATH