diff options
Diffstat (limited to 'src/backend/bootstrap/bootscanner.l')
| -rw-r--r-- | src/backend/bootstrap/bootscanner.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backend/bootstrap/bootscanner.l b/src/backend/bootstrap/bootscanner.l index fba020008fe..f4230d93b18 100644 --- a/src/backend/bootstrap/bootscanner.l +++ b/src/backend/bootstrap/bootscanner.l @@ -55,6 +55,7 @@ static int yyline = 1; /* line number for error reporting */ %option noinput %option nounput %option noyywrap +%option warn %option prefix="boot_yy" |