Move to gawk-3.1.0.

1 files changed, 20 insertions, 0 deletions

diff --git a/awklib/eg/lib/rewind.awk b/awklib/eg/lib/rewind.awk
new file mode 100644
index 00000000..33286611
--- /dev/null
+++ b/awklib/eg/lib/rewind.awk
@@ -0,0 +1,20 @@
+# 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
+}