From 875f2de7fd309eed6096e2f51415aa3ea3666f27 Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Wed, 22 May 2019 20:59:05 +0300
Subject: Add --lint=no-ext to disable "xxx is a gawk extension" warnings.

---
 builtin.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'builtin.c')

diff --git a/builtin.c b/builtin.c
index 491a96b3..bea88b86 100644
--- a/builtin.c
+++ b/builtin.c
@@ -529,7 +529,7 @@ do_length(int nargs)
 
 		if (do_posix)
 			fatal(_("length: received array argument"));
-   		if (do_lint && ! warned) {
+   		if (do_lint_extensions && ! warned) {
 			warned = true;
 			lintwarn(_("`length(array)' is a gawk extension"));
 		}
-- 
cgit v1.2.3