summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2020-04-22 11:22:31 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2020-05-28 10:34:23 +0200
commitb6041e623af65a08c34f711241c784d23e33a4e3 (patch)
tree374ee82d49836b75a3e4be8cdf733fafe4aa37a3 /Makefile
parentUpdate README.md (diff)
downloadrtems-central-b6041e623af65a08c34f711241c784d23e33a4e3.tar.bz2
Fail if coverage drops
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6556bbec..300e49db 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ SPACE := $(EMPTY) $(EMPTY)
COMMA := ,
coverage-report:
- coverage report -m --include=$(subst $(SPACE),$(COMMA),$(PY_SRC_FILES))
+ coverage report -m --fail-under=100 --include=$(subst $(SPACE),$(COMMA),$(PY_SRC_FILES))
.PONY: env