[gnu.utils.bug] gawk exit "bug" -- a retraction

meyering@CS.UTEXAS.EDU (Jim Meyering) (02/03/90)

Regarding my recent "bug" report concerning gawk's exit command,
David C Lawrence (tale@turing.cs.rpi.edu) wrote to me:

>Your awk programme is buggy.  You have told it to exit 2 as soon as
>gets any input lines.  /dev/null didn't feed it any input lines so it
>doesn't hit that statement.

He's right.  I die of embarrassment.

Unfortunately, I hadn't read the manual carefully enough.
The gawk program that prompted the pared-down "bug report"
had a {} rule with actions including "exit 2," and the pattern

    END { exit 0 }

Now I realize what was happening.
Sorry for the false alarm.

Jim Meyering      meyering@cs.utexas.edu