mirror of
https://github.com/zeek/zeek.git
synced 2025-10-03 23:28:20 +00:00
Make old comm. system usages an error unless old_comm_usage_is_ok is set
This commit is contained in:
parent
3c6afc8409
commit
c11039cb73
9 changed files with 114 additions and 1 deletions
|
@ -310,6 +310,7 @@ when return TOK_WHEN;
|
|||
}
|
||||
|
||||
&synchronized {
|
||||
++old_comm_usage_count;
|
||||
deprecated_attr(yytext);
|
||||
return TOK_ATTR_SYNCHRONIZED;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue