mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
Coverage: Ignore a few errors during generation
This commit is contained in:
parent
0e0852a876
commit
e8f504c0c0
1 changed files with 2 additions and 2 deletions
|
@ -123,13 +123,13 @@ verify_run "lcov --no-external --capture --directory . --output-file $COVERAGE_F
|
||||||
# Zeek coverage numbers.
|
# Zeek coverage numbers.
|
||||||
for TARGET in $REMOVE_TARGETS; do
|
for TARGET in $REMOVE_TARGETS; do
|
||||||
echo -n "Getting rid of $TARGET files from tracefile... "
|
echo -n "Getting rid of $TARGET files from tracefile... "
|
||||||
verify_run "lcov --remove $COVERAGE_FILE $TARGET --output-file $COVERAGE_FILE"
|
verify_run "lcov --ignore-errors unused,empty --remove $COVERAGE_FILE $TARGET --output-file $COVERAGE_FILE"
|
||||||
done
|
done
|
||||||
|
|
||||||
# 6. Create HTML files or Coveralls report
|
# 6. Create HTML files or Coveralls report
|
||||||
if [ $HTML_REPORT -eq 1 ]; then
|
if [ $HTML_REPORT -eq 1 ]; then
|
||||||
echo -n "Creating HTML files... "
|
echo -n "Creating HTML files... "
|
||||||
verify_run "genhtml -o $COVERAGE_HTML_DIR $COVERAGE_FILE"
|
verify_run "genhtml --ignore-errors empty -o $COVERAGE_HTML_DIR $COVERAGE_FILE"
|
||||||
else
|
else
|
||||||
# The data we send to coveralls has a lot of duplicate files in it because of the
|
# The data we send to coveralls has a lot of duplicate files in it because of the
|
||||||
# zeek symlink in the src directory. Run a script that cleans that up.
|
# zeek symlink in the src directory. Run a script that cleans that up.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue