12482 Have /usr/bin/awk point to /usr/bin/nawk
Reviewed by: Peter Tribble <peter.tribble@gmail.com>
Reviewed by: Toomas Soome <tsoome@me.com>

*** 7,17 ****
  
  BEGIN {
          status = system("exit 42")
          print "normal status", status
  
!         status = system("kill -HUP $$")
          print "death by signal status", status
  
          status = system("cd $WORKDIR && kill -ABRT $$")
          print "death by signal with core dump status", status
  
--- 7,17 ----
  
  BEGIN {
          status = system("exit 42")
          print "normal status", status
  
!         status = system("kill -KILL $$")
          print "death by signal status", status
  
          status = system("cd $WORKDIR && kill -ABRT $$")
          print "death by signal with core dump status", status