@@ -30,4 +30,6 @@ void dcyywarning(const string &msg);
int dcyylex();
+// we always read files
+#define YY_NEVER_INTERACTIVE 1
#endif
@@ -40,4 +40,7 @@ void eggyywarning(ostringstream &strm);
int eggyylex();
+// always read from files
+