XXX Remove nawk(1)

*** 46,56 ****
  ndrgen_copy_header()
  {
          ndl_file=$1
          ndr_file=$2
  
!         nawk 'BEGIN { copy=0; }
          /^\/\* NDRGEN_HEADER_BEGIN \*\// { copy=1; next; }
          /^\/\* NDRGEN_HEADER_END \*\// { copy=0; next; }
          /./ { if (copy==1) print; }' < $ndl_file > $ndr_file
  }
  
--- 46,56 ----
  ndrgen_copy_header()
  {
          ndl_file=$1
          ndr_file=$2
  
!         /usr/xpg4/bin/awk 'BEGIN { copy=0; }
          /^\/\* NDRGEN_HEADER_BEGIN \*\// { copy=1; next; }
          /^\/\* NDRGEN_HEADER_END \*\// { copy=0; next; }
          /./ { if (copy==1) print; }' < $ndl_file > $ndr_file
  }