summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
authorJohn Millaway <john43@users.sourceforge.net>2002-09-16 18:38:46 +0000
committerJohn Millaway <john43@users.sourceforge.net>2002-09-16 18:38:46 +0000
commit5aebd0ff8a443e7dc59cee12526c76f3ab6255bc (patch)
treeba94b2d7cb86766983fc6790eff5ffb3943d5569 /main.c
parent91fb00772de41ae2ebbee9b8d7c5205b6789aec1 (diff)
Serialization works in headers (%option headers).
Serialization code (Tables API) is complete.
Diffstat (limited to 'main.c')
-rw-r--r--main.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/main.c b/main.c
index 19ed11b..f6112a0 100644
--- a/main.c
+++ b/main.c
@@ -440,6 +440,12 @@ void check_options ()
if (do_yywrap)
GEN_PREFIX ("wrap");
+ if (tablesext){
+ GEN_PREFIX ("tables_fload");
+ GEN_PREFIX ("tables_destroy");
+ GEN_PREFIX ("TABLES_NAME");
+ }
+
outn ("");
}