diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
| commit | 875f2de7fd309eed6096e2f51415aa3ea3666f27 (patch) | |
| tree | 9b0b073f5f522c560fbb4538a8d8d891f74ca903 /eval.c | |
| parent | 990649951e7fa34ae589a19ac686ffcc655d584b (diff) | |
| download | egawk-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 'eval.c')
| -rw-r--r-- | eval.c | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -706,7 +706,7 @@ set_IGNORECASE() { static bool warned = false; - if ((do_lint || do_traditional) && ! warned) { + if ((do_lint_extensions || do_traditional) && ! warned) { warned = true; lintwarn(_("`IGNORECASE' is a gawk extension")); } @@ -727,7 +727,7 @@ set_BINMODE() char *p; NODE *v = fixtype(BINMODE_node->var_value); - if ((do_lint || do_traditional) && ! warned) { + if ((do_lint_extensions || do_traditional) && ! warned) { warned = true; lintwarn(_("`BINMODE' is a gawk extension")); } @@ -964,6 +964,8 @@ set_LINT() if (lintlen > 0) { if (lintlen == 7 && strncmp(lintval, "invalid", 7) == 0) do_flags |= DO_LINT_INVALID; + else if (lintlen == 6 && strncmp(lintval, "no-ext", 6) == 0) + do_flags &= ~DO_LINT_EXTENSIONS; else { do_flags |= DO_LINT_ALL; if (lintlen == 5 && strncmp(lintval, "fatal", 5) == 0) |