mirror of
https://github.com/zeek/zeek.git
synced 2025-10-03 07:08:19 +00:00
Merge remote-tracking branch 'origin/topic/jsiwek/reporter-fatal-bif'
* origin/topic/jsiwek/reporter-fatal-bif: Add a Reporter::fatal BIF.
This commit is contained in:
commit
1726aee4e9
4 changed files with 12 additions and 5 deletions
|
@ -0,0 +1,2 @@
|
|||
# @TEST-EXEC-FAIL: bro -r $TRACES/web.trace -f "bad filter"
|
||||
# @TEST-EXEC: test -s .stderr
|
Loading…
Add table
Add a link
Reference in a new issue