1 files changed, 1 insertions, 1 deletions
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;
 		}