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

Don't warn about generating reST script documentation for stdin

Browse source
This commit is contained in:
Jon Siwek 2011-04-06 12:08:23 -05:00
parent 5183ab409b
commit 7593d4d368
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/BroDoc.cc
View file

@ -17,7 +17,7 @@ BroDoc::BroDoc(const std::string& sourcename)
std::string ext = source_filename.substr(ext_pos + 1);
if ( ext_pos == std::string::npos || ext != "bro" )
{
if ( source_filename != "bro.init" )
if ( source_filename != "bro.init" && source_filename != "<stdin>" )
{
fprintf(stderr,
"Warning: documenting file without .bro extension: %s\n",