Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-15 13:08:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Move Spicy version information out of zeek-config.h.

Browse source 
Turns out Spicy doesn't have nicely-named constant for version
information, but we can instead use spicyz's auto-generated `config.h`
for now.
This commit is contained in:
Robin Sommer 2023-05-15 17:23:27 +02:00
parent 90fd5c062a
commit c335245586
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
4 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/spicy/runtime-support.h
View file

@ -22,6 +22,7 @@
#include "zeek/Desc.h"
#include "zeek/spicy/cookie.h"
#include "zeek/spicy/manager.h"
namespace zeek::spicy::rt {