1 files changed, 18 insertions, 0 deletions
diff --git a/news/ifmail/files/patch-flaglex.l b/news/ifmail/files/patch-flaglex.l
new file mode 100644
index 000000000000..cb40e61a350f
--- /dev/null
+++ b/news/ifmail/files/patch-flaglex.l
@@ -0,0 +1,18 @@
+--- ifcico/flaglex.l.orig	1995-03-04 09:56:34 UTC
++++ ifcico/flaglex.l
+@@ -1,3 +1,4 @@
++%option noyywrap
+ %{
+ #include <stdlib.h>
+ #include <string.h>
+@@ -8,10 +9,6 @@
+ static char *yyPTR = NULL;
+ static int yyBUFL;
+ 
+-#ifndef yywrap
+-#define yywrap() 1
+-#endif
+-
+ #ifdef FLEX_SCANNER
+ 
+ #undef YY_INPUT