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. --- field.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'field.c') diff --git a/field.c b/field.c index 6502b2fa..285376f2 100644 --- a/field.c +++ b/field.c @@ -978,7 +978,7 @@ do_split(int nargs) sep_arr = POP_PARAM(); if (sep_arr->type != Node_var_array) fatal(_("split: fourth argument is not an array")); - if ((do_lint || do_lint_old) && ! warned) { + if ((do_lint_extensions || do_lint_old) && ! warned) { warned = true; lintwarn(_("split: fourth argument is a gawk extension")); } @@ -1144,7 +1144,7 @@ set_FIELDWIDTHS() bool fatal_error = false; NODE *tmp; - if (do_lint && ! warned) { + if (do_lint_extensions && ! warned) { warned = true; lintwarn(_("`FIELDWIDTHS' is a gawk extension")); } @@ -1307,7 +1307,7 @@ choose_fs_function: set_parser(null_parse_field); - if (do_lint && ! warned) { + if (do_lint_extensions && ! warned) { warned = true; lintwarn(_("null string for `FS' is a gawk extension")); } @@ -1438,7 +1438,7 @@ set_FPAT() bool remake_re = true; NODE *fpat; - if (do_lint && ! warned) { + if (do_lint_extensions && ! warned) { warned = true; lintwarn(_("`FPAT' is a gawk extension")); } -- cgit v1.2.3