chore: add coverage target to Makefile (#2382)

waku-org · Jan 30, 2024 · 5737887 · 5737887
1 parent c1121dd
commit 5737887
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -206,13 +206,17 @@ networkmonitor: | build deps librln
 ###################
 ## Documentation ##
 ###################
-.PHONY: docs
+.PHONY: docs coverage
 
 # TODO: Remove unused target
 docs: | build deps
 	echo -e $(BUILD_MSG) "build/$@" && \
 		$(ENV_SCRIPT) nim doc --run --index:on --project --out:.gh-pages waku/waku.nim waku.nims
 
+coverage:
+	echo -e $(BUILD_MSG) "build/$@" && \
+		$(ENV_SCRIPT) ./scripts/run_cov.sh -y
+
 
 #####################
 ## Container image ##

diff --git a/scripts/run_cov.sh b/scripts/run_cov.sh
@@ -22,7 +22,7 @@ SCRIPT_PATH=$(dirname "$(realpath -s "$0")")
 REPO_ROOT=$(dirname $SCRIPT_PATH)
 generated_not_to_break_here="$REPO_ROOT/generated_not_to_break_here"
 
-if [ -f $generated_not_to_break_here ]
+if [ "$1" != "-y" ] && [ -f "$generated_not_to_break_here" ]
 then
     echo "The file '$generated_not_to_break_here' already exists. Do you want to continue? (y/n)"
     read -r response