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 /contrib/seg | |
| 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 'contrib/seg')
| -rw-r--r-- | contrib/seg/segscan.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/seg/segscan.l b/contrib/seg/segscan.l index c2b5ca87896..e4feab39b37 100644 --- a/contrib/seg/segscan.l +++ b/contrib/seg/segscan.l @@ -30,6 +30,7 @@ void seg_scanner_finish(void); %option noinput %option nounput %option noyywrap +%option warn %option prefix="seg_yy" |