chore: add coverage target to Makefile (#2382)

This commit is contained in:
Roman Zajic 2024-01-30 19:55:26 +08:00 committed by GitHub
parent c1121dd1db
commit 573788739b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 6 additions and 2 deletions

View File

@ -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 ##

View File

@ -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