mirror of
https://github.com/zeek/zeek.git
synced 2025-10-01 22:28:20 +00:00
Merge remote-tracking branch 'origin/topic/jsiwek/raw-exec-pgrp'
* origin/topic/jsiwek/raw-exec-pgrp: Kill raw input reader's child by process group. BIT-1081 #merged
This commit is contained in:
commit
97cb04aae2
4 changed files with 19 additions and 21891 deletions
1
Makefile
1
Makefile
|
@ -65,6 +65,7 @@ test:
|
|||
|
||||
test-all: test
|
||||
test -d aux/broctl && ( cd aux/broctl && make test )
|
||||
test -d aux/btest && ( cd aux/btest && make test )
|
||||
|
||||
configured:
|
||||
@test -d $(BUILD) || ( echo "Error: No build/ directory found. Did you run configure?" && exit 1 )
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue