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

[arnold]

"Andrew J. Schorr" <address@hidden> wrote:

> 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 small reminder about it with a reference to 7.4.10 wouldn't hurt.

> 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...

Not needed. There is already an abort() function in the manual.
You could mention that the checking function could instead call abort().
The abort function should either be @include'd or named first on the
command line via multiple -f options.

Thanks,

Arnold