3770
3786
$ test_class = "gawk_ext"
3771
3787
$ gawk --profile -v "sortcmd=SORT sys$input: sys$output:" -
3772
3788
-f xref.awk dtdgport.awk > _NL:
3773
3793
$ ! sed <awkprof.out 1,2d >_profile2.tmp
3774
3794
$ sumslp awkprof.out /update=sys$input: /output=_'test'.tmp