summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Dufresne <dufresnep@zoho.com>2021-02-11 16:02:18 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2021-02-11 16:02:18 +0100
commite9482b80272f673f625ac80d49ffea6b79fb6117 (patch)
tree724da327e2d7a5a637e31cf0de28e9cafe14d999
parentb147427aa16309657856bd9ec6ef50c60b241e18 (diff)
Add noyywrap option
We do not actually use yywrap, and this allows to avoid requiring libflex, making cross-compilations simpler. * lexxer.l: Add noyywrap option.
-rw-r--r--lexxer.l1
1 files changed, 1 insertions, 0 deletions
diff --git a/lexxer.l b/lexxer.l
index 9579522..48dda4a 100644
--- a/lexxer.l
+++ b/lexxer.l
@@ -1,4 +1,5 @@
%option nounput
+%option noyywrap
%k 10000
%n 5000