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

flag/environment variable for dumping use-defs

Browse source
This commit is contained in:
Vern Paxson 2021-02-05 22:26:24 -08:00
parent 8a3622a726
commit 12c9b5ede5
3 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/script_opt/ScriptOpt.cc
View file

@ -115,6 +115,7 @@ void analyze_scripts()
if ( ! did_init )
{
check_env_opt("ZEEK_DUMP_XFORM", analysis_options.dump_xform);
check_env_opt("ZEEK_DUMP_UDS", analysis_options.dump_uds);
check_env_opt("ZEEK_INLINE", analysis_options.inliner);
check_env_opt("ZEEK_XFORM", analysis_options.activate);