]> granicus.if.org Git - flex/commitdiff
prefix support for yy_flush_buffer
authorVern Paxson <vern@ee.lbl.gov>
Sun, 5 Mar 1995 21:35:02 +0000 (21:35 +0000)
committerVern Paxson <vern@ee.lbl.gov>
Sun, 5 Mar 1995 21:35:02 +0000 (21:35 +0000)
main.c

diff --git a/main.c b/main.c
index 40bd769b793a61d2b7ade26ada21e00280aabeae..be999272368dd21f5af88da2bbc837c02a4dd65d 100644 (file)
--- a/main.c
+++ b/main.c
@@ -298,6 +298,7 @@ void check_options()
                        GEN_PREFIX( "_scan_bytes" );
                        GEN_PREFIX( "_flex_debug" );
                        GEN_PREFIX( "_init_buffer" );
+                       GEN_PREFIX( "_flush_buffer" );
                        GEN_PREFIX( "_load_buffer_state" );
                        GEN_PREFIX( "_switch_to_buffer" );
                        GEN_PREFIX( "in" );