Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 22:58:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
zeek/testing/btest/Baseline/language.pragma-3
History
Exact
Arne Welzel d9611132e8 scan.l: Support @pragma, specifically push/pop ignore-deprecations 
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.
2023-04-05 10:24:30 +02:00
..
out scan.l: Support @pragma, specifically push/pop ignore-deprecations 2023-04-05 10:24:30 +02:00