1 # usage: awk -f actionnm.awk pseudocode.h
3 BEGIN { "date" | getline
5 printf("\n/* this file generated on %s */\n", today )
6 printf("\nstatic char *action_names[] = { \n " )
16 t = sprintf("\"%s\"", $2 )
18 # printf("%-10s", $2 )
25 printf("\t 0\n};\n\n")