Rev 634 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download
#!/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;
}