greg/stasis-aries-wal
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updated coverage stuff so that it completes even if some unit tests

Browse source 
fail, and so that it only runs tests in test/lladd.
This commit is contained in:
Sears Russell 2006-10-06 23:46:53 +00:00
parent 1575d97a6b
commit 8bb5192a41
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Makefile.am
View file

@ -17,9 +17,13 @@ precoverage :
find . -name '*.bb' | xargs rm -f
find . -name '*.bbg' | xargs rm -f
find . -name '*.da' | xargs rm -f
rm -rf doc/coverage
coverage: precoverage check
coverage: all precoverage
echo '(make profile requires CFLAGS="-fprofile-arcs -ftest-coverage -pg -O0")'
cd test/lladd
make check || true
cd ../..
lcov -c --directory src/libdfa/ --directory src/lladd/ --directory test/ > tmp.info
# lcov -c --directory . > tmp.info
genhtml -o doc/coverage tmp.info