From 875f2de7fd309eed6096e2f51415aa3ea3666f27 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Wed, 22 May 2019 20:59:05 +0300 Subject: Add --lint=no-ext to disable "xxx is a gawk extension" warnings. --- eval.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'eval.c') diff --git a/eval.c b/eval.c index 132c8509..8acfba0f 100644 --- a/eval.c +++ b/eval.c @@ -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) -- cgit v1.2.3