update coverage script

This commit is contained in:
Christian Grothoff 2015-07-11 18:04:10 +02:00
parent 8056535afe
commit 22f022eccb

View File

@ -5,6 +5,6 @@ TOP=`pwd`
mkdir -p doc/coverage/ mkdir -p doc/coverage/
lcov -d $TOP -z lcov -d $TOP -z
make check make check
lcov -d $TOP -c -o doc/coverage/coverage.info lcov -d $TOP -c --no-external -o doc/coverage/coverage.info
cd doc/coverage/ lcov -r doc/coverage/coverage.info **/test_* **/perf_* -o doc/coverage/rcoverage.info
genhtml coverage.info genhtml -o doc/coverage doc/coverage/rcoverage.info