mirror of
https://github.com/mupen64plus/mupen64plus-win32-deps.git
synced 2025-04-02 10:52:39 -04:00
20 lines
404 B
Awk
20 lines
404 B
Awk
# rewind.awk --- rewind the current file and start over
|
|
#
|
|
# Arnold Robbins, arnold@skeeve.com, 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
|
|
}
|