XXX Remove nawk(1)

*** 28,38 ****
  
  printf "%-3s %-10s %-31s %s\n" "#" "KIND" "TEST" "DETAILS" 
  
  while [[ -d failure.$failure ]]; do
          dir=failure.$failure
!         tst=`cat $dir/README | head -1 | nawk '{ print $2 }'`
          kind=`basename $(dirname $tst)`
          name=`basename $tst`
          cols=$(expr `tput cols` - 47)
          details=`tail -1 $dir/*.err | cut -c1-$cols`
          printf "%-3d %-10s %-31s " $failure $kind $name
--- 28,38 ----
  
  printf "%-3s %-10s %-31s %s\n" "#" "KIND" "TEST" "DETAILS" 
  
  while [[ -d failure.$failure ]]; do
          dir=failure.$failure
!         tst=`cat $dir/README | head -1 | /usr/xpg4/bin/awk '{ print $2 }'`
          kind=`basename $(dirname $tst)`
          name=`basename $tst`
          cols=$(expr `tput cols` - 47)
          details=`tail -1 $dir/*.err | cut -c1-$cols`
          printf "%-3d %-10s %-31s " $failure $kind $name