Re: [bug-gawk] Is this a bug?

[Aharon Robbins]

Hi. Re this.  It's a bug, fixed already in the git repo. The
best way to get an up to date version is to use git to get the
source, then

        git checkout gawk-4.0-stable
        ./bootstrap.sh
        ./configure && make && make check

Thanks,

Arnold

> Date: Mon, 6 Feb 2012 15:05:49 +0100
> From: Goran ??engi?? <address@hidden>
> To: address@hidden
> Subject: [bug-gawk] Is this a bug?
>
> I try running this script with GNU Awk 4.0.0 distributed with Cygwin
>
>
> #!/bin/awk -f
>
> BEGIN {
>     getline
> }
>
> {
>     print $0
> }
>
>
> on an example file like this
>
>
> 0
> 1
> 2
> 3
> 4
> 5
> 6
>
>
> and I get
>
>
> 2
> 3
> 4
> 5
> 6
>
> I know that line "0" got consumed by the getline but what happened to line 
> "1"?
>
> Kind regards,
>
>     Goran
> -- 
> Goran ??engi??
> Gibraltargatan 40
> 412 58 G??teborg
>
> mob: 073-9037010
>
> Have a nice day :)
>