[bug-gawk] gawk -h != gawk --help

[Joep van Delft]

Hello, 

% gawk -h
gawk: option requires an argument -- h
(...)

% echo $?
1

Yet, 

% gawk --help
(...)

% echo $?
0

Is that intentional? 

Kind regards, 

Joep