mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
Coverage: don't bother ignoring non-existent bro.dir files
This commit is contained in:
parent
d36fbeb6d0
commit
0e0852a876
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
|
||||
# need to be surrounded by escaped wildcards.
|
||||
REMOVE_TARGETS="*.yy *.ll *.y *.l \*/bro.dir/\* *.bif \*/zeek.dir/\* \*/src/3rdparty/\* \*/src/zeek/3rdparty/\* \*/auxil/\* \*/build/zeek/3rdparty/\*"
|
||||
REMOVE_TARGETS="*.yy *.ll *.y *.l *.bif \*/zeek.dir/\* \*/src/3rdparty/\* \*/src/zeek/3rdparty/\* \*/auxil/\* \*/build/zeek/3rdparty/\*"
|
||||
|
||||
# 1. Move to base dir, create tmp dir
|
||||
cd ../../
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue