pop_push.awk 143 B

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