diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
| commit | 875f2de7fd309eed6096e2f51415aa3ea3666f27 (patch) | |
| tree | 9b0b073f5f522c560fbb4538a8d8d891f74ca903 /io.c | |
| parent | 990649951e7fa34ae589a19ac686ffcc655d584b (diff) | |
| download | egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.gz egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.bz2 egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.zip | |
Add --lint=no-ext to disable "xxx is a gawk extension" warnings.
Diffstat (limited to 'io.c')
| -rw-r--r-- | io.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; } |