From 711872f601e63bcd5efcc7de0e3c69748cd852dd Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Sun, 20 Feb 2022 13:09:05 +0100
Subject: Add coverage test
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 config-coverage-gcc.mk | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 config-coverage-gcc.mk

(limited to 'config-coverage-gcc.mk')

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
-- 
cgit v1.2.3-70-g09d2