#  FILE NAME:  awk_rm
#
#  @(#)awk_rm	1.1 84/06/13
#
#  This awk file searches a file for routine names and generates another
#  file which will contain the names of the files which must be removed.
#  This operation is performed on the routines which are requested to be 
#  instrumented at the statement level so that make will regenerate them
#  using the statment level modified makefile also generated by the 
#  calling shell script.
#
BEGIN { file = "tmp_rmfiles"; }
{
  if (( $1 ~ /[pP]/ ) && ( substr ( $0,2,1 ) == " " ))
    print ( $2 ) >> file
  else
    print ( $1 ) >> file;
}
