Work on coverage

This commit is contained in:
Patrick Pelissier committed 2017-03-09 21:58:08 +01:00
1 parent 988b7e03ff
commit 9db1775db0
1 file changed
+2 -1
+2 -1
View File
@@ -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