mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00

This allows to ignore-deprecations as follows: @pragma push ignore-deprecations print r$deprecated; @pragma pop A bit of infrastructure is put in place for the push and pop, but nothing overly generalized for future pragmas.
4 lines
206 B
Text
4 lines
206 B
Text
### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
|
|
warning in <...>/ignore-deprecations.zeek, line 11: deprecated (X::c): removal planned
|
|
1
|
|
1
|