aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 978ecc85..182cdc8d 100644
--- a/Makefile
+++ b/Makefile
@@ -50,4 +50,5 @@ coverage:
--output-directory coverage \
--prefix $(shell pwd) \
--no-function-coverage \
+ --quiet \
lcov.info