Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?

[Jannick]

On Fri, 05 Jan 2018 03:02:42 -0700, address@hidden wrote:
> There is also PROCINFO["argv"] in 4.2.0, which lets you see the command
line
> arguments passed to gawk.
> 
> HTH,

Absolutely! This is exactly what I was looking for. Please see in my email
sent just a second ago the code snippet which I am now using now to check if
-M is enabled or not and which is effectively based on PROCINFO["argv"].
 
> Arnold

Many thanks to you and Andy!

Best regards,
J.