XXX Remove nawk(1)

*** 26,36 ****
  # Copyright 2012 Milan Jurik. All rights reserved.
  #
  
  # This is a "lint tail" that removes all the
  # uninteresting lines from our lint output.
! # It's nawk because sed doesn't do (a|b).
  # Also comments are easier here.
  
  # There's no lintlib for krb5 yet (CR 6911968)
  /: Warning: -lkrb5 not found/                   { next; }
  /: Warning: library -lkrb5 not found/           { next; }
--- 26,36 ----
  # Copyright 2012 Milan Jurik. All rights reserved.
  #
  
  # This is a "lint tail" that removes all the
  # uninteresting lines from our lint output.
! # It's awk because sed doesn't do (a|b).
  # Also comments are easier here.
  
  # There's no lintlib for krb5 yet (CR 6911968)
  /: Warning: -lkrb5 not found/                   { next; }
  /: Warning: library -lkrb5 not found/           { next; }