util/ego/share/pop_push.awk

   1 BEGIN {
   2         print "char *pop_push[]="
   3         print "{"
   4         print "\"\","
   5         switch = 0
   6 }
   7 /aar/   {
   8         switch = 1
   9 }
  10         {
  11         if (switch) printf("\"%s\",\n",$3)
  12 }
  13 END {
  14         print "};"
  15 }