]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - config_file.l
Avoid warning about yywrap being redefined.
[lopsub.git] / config_file.l
index 38691b7d5111a68b45b7a469d4b3f52c71fd5ee9..0b8435041fa0a1ba55546e885304ab30442a31f4 100644 (file)
@@ -4,7 +4,6 @@
  * Licensed under the LGPL v3, see http://www.gnu.org/licenses/lgpl-3.0.html
  */
 
-%option noyywrap
 %option stack
 %option never-interactive
 %option yylineno
@@ -29,6 +28,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;