AWK ARGV[0]

[Phil Howard KA9WGN]

I would like to know how I can retrieve the original argv[0] from an awk
script.  ARGV[0] is supposed to have the value "awk" though on some systems
this is not true.  The purpose is to be able to detect what command name
was used to invoke the awk script.
-- 

--Phil Howard, KA9WGN-- | Individual CHOICE is fundamental to a free society
<phil at ux1.cso.uiuc.edu> | no matter what the particular issue is all about.