XXX Remove nawk(1)

@@ -28,11 +28,11 @@
 
 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 }'`
+        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