[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug-gawk] lint Option Future
From: |
M |
Subject: |
[bug-gawk] lint Option Future |
Date: |
Tue, 21 May 2019 17:45:34 +0300 |
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
- [bug-gawk] lint Option Future,
M <=