Add timestamp checking

[~andy/ct] / scan.l

diff --git a/scan.l b/scan.l
index 44e7af6d89245bf28b6a298f8949697793d61a8d..b080e5aaf6d90b9b0fef61debbd1b6da2e6e9890 100644 (file)
--- a/scan.l
+++ b/scan.l
@@ -8,6 +8,7 @@
 %option nounput
 %option noinput
 %option yylineno
+%option never-interactive
 /* %option nodebug */
 START [ \t]*<%
 END   [ \t]*%>