diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2011-08-25 13:55:57 -0400 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2011-08-25 13:55:57 -0400 |
| commit | 2e95f1f002bc3f0504dffa6d9ffed0dc914ecec1 (patch) | |
| tree | d28b03d260f30c8c9150ad72d96aba6cfaa731ce /src/backend/utils/misc/guc-file.l | |
| 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/utils/misc/guc-file.l')
| -rw-r--r-- | src/backend/utils/misc/guc-file.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backend/utils/misc/guc-file.l b/src/backend/utils/misc/guc-file.l index 3e9b10328d4..70abf40a28e 100644 --- a/src/backend/utils/misc/guc-file.l +++ b/src/backend/utils/misc/guc-file.l @@ -51,6 +51,7 @@ static char *GUC_scanstr(const char *s); %option noinput %option nounput %option noyywrap +%option warn %option prefix="GUC_yy" |