diff options
Diffstat (limited to 'contrib/awk/awklib/eg/lib/rewind.awk')
-rw-r--r-- | contrib/awk/awklib/eg/lib/rewind.awk | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/contrib/awk/awklib/eg/lib/rewind.awk b/contrib/awk/awklib/eg/lib/rewind.awk deleted file mode 100644 index 3328661..0000000 --- a/contrib/awk/awklib/eg/lib/rewind.awk +++ /dev/null @@ -1,20 +0,0 @@ -# rewind.awk --- rewind the current file and start over -# -# Arnold Robbins, arnold@gnu.org, Public Domain -# September 2000 - -function rewind( i) -{ - # shift remaining arguments up - for (i = ARGC; i > ARGIND; i--) - ARGV[i] = ARGV[i-1] - - # make sure gawk knows to keep going - ARGC++ - - # make current file next to get done - ARGV[ARGIND+1] = FILENAME - - # do it - nextfile -} |