Rev 634 | Go to most recent revision | Details | Last modification | View Log
#!/usr/bin/awk -f
# reports which file is being read
BEGIN {
f="";
}
{ if (f != FILENAME) {
print "reading", FILENAME;NR=0;
f=FILENAME;
if (NR >= 42) print $1,$2;