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

scan.l: Remove unused deprecated_attr

Browse source
This commit is contained in:
Arne Welzel 2023-03-17 11:04:20 +01:00
parent 5cba1e0b09
commit 5b2c82c1e9
1 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/scan.l
View file

@ -101,11 +101,6 @@ extern std::set<std::string> module_names;
if ( ((result = fread(buf, 1, max_size, yyin)) == 0) && ferror(yyin) ) \
zeek::reporter->Error("read failed with \"%s\"", strerror(errno));
static void deprecated_attr(const char* attr)
{
zeek::reporter->Warning("Use of deprecated attribute: %s", attr);
}
static std::string find_relative_file(const std::string& filename, const std::string& ext)
{
if ( filename.empty() )