db/db2tbls.awk

   1 #       $Source$
   2 #       $Header$
   3 #
   4 #       This converts the file used to originally create the database
   5 #       into a list of tables.
   6
   7 BEGIN { print "/* This file automatically generated */";
   8         print "/* Do not edit */";
   9         print "char *tables[] = {";
  10 }
  11
  12 $1=="CREATE"    { printf "      \"%s\",\n", $3; }
  13 $1=="create" && $2=="table"     { printf "      \"%s\",\n", $3; }
  14 $1=="create" && $2!="table"     { printf "      \"%s\",\n", $2; }
  15
  16 END   { print " 0,";
  17         print "};"; }