[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] inside awk script check that -M/--bignum given on command
From: |
Andrew J. Schorr |
Subject: |
Re: [bug-gawk] inside awk script check that -M/--bignum given on command line? |
Date: |
Fri, 5 Jan 2018 11:45:54 -0500 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
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
- [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?,
Andrew J. Schorr <=
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Neil R. Ormos, 2018/01/08
- [bug-gawk] abort keyword, arnold, 2018/01/08
- Re: [bug-gawk] abort keyword, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] abort keyword, Neil R. Ormos, 2018/01/08