Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-09 18:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

inlining of Zeek script functions

Browse source
This commit is contained in:
Vern Paxson 2020-11-19 16:05:42 -08:00
parent 3c39f11726
commit c42586af2c
63 changed files with 21807 additions and 171 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/Scope.cc
View file

@ -188,6 +188,7 @@ IDPtr install_ID(const char* name, const char* module_name,
void push_existing_scope(Scope* scope)
{
top_scope = scope;
scopes.push_back(scope);
}