mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
Remove files in build/src/3rdparty from coverage reports
This commit is contained in:
parent
e670f8ec89
commit
3ae135e857
1 changed files with 1 additions and 1 deletions
|
@ -93,7 +93,7 @@ fi
|
||||||
|
|
||||||
# Files and directories that will be removed from the counts in step 5. Directories
|
# Files and directories that will be removed from the counts in step 5. Directories
|
||||||
# need to be surrounded by escaped wildcards.
|
# need to be surrounded by escaped wildcards.
|
||||||
REMOVE_TARGETS="*.yy *.ll *.y *.l \*/bro.dir/\* *.bif \*/zeek.dir/\* \*/src/3rdparty/\* \*/src/zeek/3rdparty/\* \*/auxil/\* "
|
REMOVE_TARGETS="*.yy *.ll *.y *.l \*/bro.dir/\* *.bif \*/zeek.dir/\* \*/src/3rdparty/\* \*/src/zeek/3rdparty/\* \*/auxil/\* \*/build/zeek/3rdparty/\*"
|
||||||
|
|
||||||
# 1. Move to base dir, create tmp dir
|
# 1. Move to base dir, create tmp dir
|
||||||
cd ../../
|
cd ../../
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue