aboutsummaryrefslogtreecommitdiffstats
path: root/main.c
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2019-05-22 20:59:05 +0300
committerArnold D. Robbins <arnold@skeeve.com>2019-05-22 20:59:05 +0300
commit875f2de7fd309eed6096e2f51415aa3ea3666f27 (patch)
tree9b0b073f5f522c560fbb4538a8d8d891f74ca903 /main.c
parent990649951e7fa34ae589a19ac686ffcc655d584b (diff)
downloadegawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.gz
egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.bz2
egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.zip
Add --lint=no-ext to disable "xxx is a gawk extension" warnings.
Diffstat (limited to 'main.c')
-rw-r--r--main.c7
1 files changed, 5 insertions, 2 deletions
diff --git a/main.c b/main.c
index 1f23e57c..c2e3aa50 100644
--- a/main.c
+++ b/main.c
@@ -605,7 +605,7 @@ usage(int exitval, FILE *fp)
* TRANSLATORS: the "fatal" and "invalid" here are literal
* values, they should not be translated. Thanks.
*/
- fputs(_("\t-L[fatal|invalid]\t--lint[=fatal|invalid]\n"), fp);
+ fputs(_("\t-L[fatal|invalid|no-ext]\t--lint[=fatal|invalid|no-ext]\n"), fp);
fputs(_("\t-M\t\t\t--bignum\n"), fp);
fputs(_("\t-N\t\t\t--use-lc-numeric\n"), fp);
fputs(_("\t-n\t\t\t--non-decimal-data\n"), fp);
@@ -1622,7 +1622,7 @@ parse_args(int argc, char **argv)
#ifndef NO_LINT
case 'L':
- do_flags |= DO_LINT_ALL;
+ do_flags |= (DO_LINT_ALL|DO_LINT_EXTENSIONS);
if (optarg != NULL) {
if (strcmp(optarg, "fatal") == 0)
lintfunc = r_fatal;
@@ -1630,6 +1630,9 @@ parse_args(int argc, char **argv)
do_flags &= ~DO_LINT_ALL;
do_flags |= DO_LINT_INVALID;
}
+ else if (strcmp(optarg, "no-ext") == 0) {
+ do_flags &= ~DO_LINT_EXTENSIONS;
+ }
}
break;