[bug-gawk] lint Option Future

[M]

Are there any plans to develop the --lint option?

I've read in the manual that there is a mode "invalid" (i.e. --lint=invalid) 
which is not fully implemented yet.
Another mode is "fatal", in this case all lint warnings become fatal errors. 
Unfortunately, that's all.

For instance, one knows that he/she uses some features which are specific to 
gawk.
When using the --lint option without a value, one can see a sheet of warnings:
.........
"THIS_FEATURE is a gawk extension"
"AND_THIS_FEATURE is a gawk extension"
.........

--lint is quite useful to determine simple faults.
As far as I understand, there is no way to get rid of these warnings at the 
moment.

_______________

Yours respectfully,
Mark Krauze