[bug-gawk] Is this a bug?

[Goran Čengić]

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 :)