Re: [bug-gawk] abort keyword

[Arnold Robbins]

> Andy, maybe I'll do an abort extension for [g]awkextlib.  It's
> really pretty trivial to do... Feel free to beat me to it. :-)

I have done this; it's now in gawkextlib.  Usage should be
something like:

        gawk -labort '{ ... ; abort(42) ; ... }'

This passes 42 to the C exit() routine. If called with no
argument, it passes zero.

Enjoy,

Arnold