Add --lint=no-ext to disable "xxx is a gawk extension" warnings.

1 files changed, 1 insertions, 1 deletions

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"));
 		}