diff options
Diffstat (limited to 'flex-version-check.patch')
| -rw-r--r-- | flex-version-check.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/flex-version-check.patch b/flex-version-check.patch new file mode 100644 index 000000000000..d44c6071ef02 --- /dev/null +++ b/flex-version-check.patch @@ -0,0 +1,15 @@ +Index: scanner.l +=================================================================== +--- scanner.l (revision 675) ++++ scanner.l (working copy) +@@ -328,7 +328,9 @@ + + #ifdef FLEX_SCANNER + yyrestart(in_file); +-#if (YY_FLEX_MAJOR_VERSION==2 && YY_FLEX_MINOR_VERSION==5 && YY_FLEX_SUBMINOR_VERSION>=33) ++#define YY_FLEX_VERSION \ ++ (YY_FLEX_MAJOR_VERSION * 1000 + YY_FLEX_MINOR_VERSION * 100 + YY_FLEX_SUBMINOR_VERSION) ++#if YY_FLEX_VERSION >= 2533 + /* flex 2.5.33 flipped the polarity of this flag (sigh) */ + yy_init = 0; + #else |