diff options
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" |