Closed rsmmr closed 1 year ago
Add helper script to adapt Spicy build inside Zeek.
This goes with https://github.com/zeek/zeek/pull/3041.
This is on top of topic/robin/spicy-plugin, only the 2nd commit is new in this PR.
topic/robin/spicy-plugin
Add helper script to adapt Spicy build inside Zeek.
This goes with https://github.com/zeek/zeek/pull/3041.
This is on top of
topic/robin/spicy-plugin, only the 2nd commit is new in this PR.