Re: Getting command from ARGV[1] doesn't work in AWK

In article <HemdnYGh7eDeUczfRVn-2Q@gwi.net>, Jim Hart  <jhart@bates.edu> wro
te:
...
>It silently does nothing at all. There is no file /tmp/output and there
>is no file in the local directory called 'cat > /tmp/output', nor one
>called 'cat', for that matter.

OK - sounds like a buggy AWK to me.

>Change the first line of the script to:
>
>#!/usr/local/bin/gawk -f
>
>and the last case works.

Thank you for saving us all the trouble of testing it under gawk.
Basically, you won't get much support here for problems specific to (buggy)
vendor-supplied AWKs.

>AWK version is:
>
>localhost ~/tmp bash2.05$ /usr/bin/awk -V
>awk version 981019
>
>as distributed with Mac OS X 10.3.

Yup - sounds like a buggy AWK to me.