From 1eca6cd522069d02dd1e5aeefe18367c7145d92e Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Tue, 19 Jul 2022 20:03:46 +0200
Subject: Add coverage test (requires `make check` which has not been
 implemented yet)
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..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
-- 
cgit v1.2.3-70-g09d2