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 readBEGIN {f="";}{ if (f != FILENAME) {print "reading", FILENAME;NR=0;f=FILENAME;}if (NR >= 42) print $1,$2;}