config_file.l: Change default prefix for global symbols.

[lopsub.git] / config_file.l

diff --git a/config_file.l b/config_file.l
index 38691b7d5111a68b45b7a469d4b3f52c71fd5ee9..b6eff7cc5bd09ae4f4d257ee76be4a4d9279e99e 100644 (file)
--- a/config_file.l
+++ b/config_file.l
@@ -4,7 +4,9 @@
  * Licensed under the LGPL v3, see http://www.gnu.org/licenses/lgpl-3.0.html
  */
 
-%option noyywrap
+ /* We don't want symbols to clash with those of other flex users. */
+%option prefix="lls_yy"
+
 %option stack
 %option never-interactive
 %option yylineno
@@ -29,6 +31,7 @@ OPTION [a-zA-Z]+[a-zA-Z0-9_-]*
        static char **rargv;
        static const char *subcommand;
 
+       static int yywrap(void) {return 1;}
        static int expand_result(void)
        {
                int nargc = rargc + 1;