From 9db1775db056d0107acfcd8d0388c2e838c7584a Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Thu, 9 Mar 2017 21:58:08 +0100
Subject: [PATCH] Work on coverage

---
 tests/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/Makefile b/tests/Makefile
index ac57b05a..690e810b 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -76,4 +76,5 @@ coverage-dir/%.c: %.c coverage-dir
 	cat coverage-dir/first.c coverage-dir/middle.c coverage-dir/end.c > coverage-dir/$<
 
 coverage: coverage-dir
-	for i in test-m*.c ; do echo $$i ; make coverage-dir/$$i && $(CC) -ftest-coverage -fprofile-arcs -std=c99 -I.. coverage-dir/$$i -o $(EXE) -lgmp -pthread && $(EXE) && gcov $$i ; done
+	for i in test-m*.c ; do echo $$i ; make coverage-dir/$$i && $(CC) -ftest-coverage -fprofile-arcs -g -I.. coverage-dir/$$i -o $(EXE) -lgmp -pthread && $(EXE) ; done
+	for i in test-m*.c ; do gcov coverage-dir/$$i ; done