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. --- io.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'io.c') diff --git a/io.c b/io.c index 3d90e71b..c49d1281 100644 --- a/io.c +++ b/io.c @@ -4075,7 +4075,7 @@ set_RS() matchrec = rsrescan; - if (do_lint && ! warned) { + if (do_lint_extensions && ! warned) { lintwarn(_("multicharacter value of `RS' is a gawk extension")); warned = true; } -- cgit v1.2.3