Merge branch 'master' into feature/dev-5.0

1 files changed, 3 insertions, 7 deletions

diff --git a/field.c b/field.c
index 0685e9b5..5ab718d4 100644
--- a/field.c
+++ b/field.c
@@ -946,7 +946,7 @@ do_split(int nargs)
 	Regexp *rp = NULL;
 
 	if (nargs == 4) {
-		static bool warned1 = false, warned2 = false;
+		static bool warned = false;
 
 		if (do_traditional || do_posix) {
 			fatal(_("split: fourth argument is a gawk extension"));
@@ -954,14 +954,10 @@ 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 && ! warned1) {
-			warned1 = true;
+		if ((do_lint || do_lint_old) && ! warned) {
+			warned = true;
 			lintwarn(_("split: fourth argument is a gawk extension"));
 		}
-		if (do_lint_old && ! warned2) {
-			warned2 = true;
-			warning(_("split: fourth argument is a gawk extension"));
-		}
 	}
 
 	sep = POP();