aboutsummaryrefslogtreecommitdiffstats
path: root/config-coverage-gcc.mk
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--config-coverage-gcc.mk11
1 files changed, 11 insertions, 0 deletions
diff --git a/config-coverage-gcc.mk b/config-coverage-gcc.mk
new file mode 100644
index 0000000..80c21b6
--- /dev/null
+++ b/config-coverage-gcc.mk
@@ -0,0 +1,11 @@
+CONFIGFILE_PROPER = config.mk
+include $(CONFIGFILE_PROPER)
+
+CC = $(CC_PREFIX)gcc -std=c11
+GCOV = gcov
+
+CFLAGS = -g -O0 -pedantic -fprofile-arcs -ftest-coverage
+LDFLAGS = -lgcov -fprofile-arcs
+
+coverage: check
+ $(GCOV) -pr $(SRC) 2>&1