aboutsummaryrefslogtreecommitdiffstats
path: root/config-coverage-gcc.mk
diff options
context:
space:
mode:
authorMattias Andrée <maandree@kth.se>2022-07-19 20:03:46 +0200
committerMattias Andrée <maandree@kth.se>2022-07-19 20:03:46 +0200
commit1eca6cd522069d02dd1e5aeefe18367c7145d92e (patch)
treef0221bb6e3ef3e6e63862a7b111f02587e4850b8 /config-coverage-gcc.mk
parentAdd man pages (diff)
downloadlibtracebitmap-1eca6cd522069d02dd1e5aeefe18367c7145d92e.tar.gz
libtracebitmap-1eca6cd522069d02dd1e5aeefe18367c7145d92e.tar.bz2
libtracebitmap-1eca6cd522069d02dd1e5aeefe18367c7145d92e.tar.xz
Add coverage test (requires `make check` which has not been implemented yet)
Signed-off-by: Mattias Andrée <maandree@kth.se>
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..18de147
--- /dev/null
+++ b/config-coverage-gcc.mk
@@ -0,0 +1,11 @@
+CONFIGFILE_PROPER = config.mk
+include $(CONFIGFILE_PROPER)
+
+CC = $(CC_PREFIX)gcc -std=c99
+GCOV = gcov
+
+CFLAGS = -g -O0 -pedantic -fprofile-arcs -ftest-coverage
+LDFLAGS = -lgcov -fprofile-arcs
+
+coverage: check
+ $(GCOV) -pr $(SRC) 2>&1