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

[Andrew J. Schorr]

Hi,

On Fri, Jan 05, 2018 at 05:36:11PM +0100, Jannick wrote:
> I was thinking of something like the END section above. But agree, this
> makes the snip look a bit too complicated than needed. As an alternative -
> if anything at all - perhaps adding a very short note (probably in a
> footnote) on the exit issue with reference to chapter 7.4.10?

I'm not convinced that this isn't basic AWK knowledge. Arnold -- do you think
we need a comment about this here? A better fix might be to add an "abort"
statement to the language that does not process the END section, but that's
a much bigger issue...

Regards,
Andy