diff options
| author | Tom Lane | 2011-08-25 17:55:57 +0000 |
|---|---|---|
| committer | Tom Lane | 2011-08-25 17:55:57 +0000 |
| commit | 2e95f1f002bc3f0504dffa6d9ffed0dc914ecec1 (patch) | |
| tree | d28b03d260f30c8c9150ad72d96aba6cfaa731ce /src/backend/bootstrap | |
| parent | 0371d4d0632221957a60d4cdb70a898caf7ce6cf (diff) | |
Add "%option warn" to all flex input files that lacked it.
This is recommended in the flex manual, and there seems no good reason
not to use it everywhere.
Diffstat (limited to 'src/backend/bootstrap')
| -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" |