1
# nextfile --- skip remaining records in current file
2
# correctly handle successive occurrences of the same file
3
# Arnold Robbins, arnold@gnu.ai.mit.edu, Public Domain
6
# this should be read in before the "main" awk program
8
function nextfile() { _abandon_ = FILENAME; next }
10
_abandon_ == FILENAME {