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