%option noinput

This commit is contained in:
Daniel Kroening 2013-05-30 17:30:04 +00:00
parent e390879a31
commit 298aec6434
2 changed files with 3 additions and 0 deletions

View File

@ -1,4 +1,5 @@
%option nounput
%option noinput
%{
#ifdef _WIN32

View File

@ -1,3 +1,5 @@
%option noinput
%{
#ifdef _WIN32
#define YY_NO_UNISTD_H