[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-935-g87e6199

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, gawk-4.1-stable has been updated
       via  87e61996806174f405b0aab9c92688945b9dca77 (commit)
      from  d7d60e6b4c86e38ab937f45c22fa7d335d45208b (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=87e61996806174f405b0aab9c92688945b9dca77

commit 87e61996806174f405b0aab9c92688945b9dca77
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Jul 17 06:00:10 2016 +0300

    Fix set_LINT for LINT="invalid" to reset lintfunc.

diff --git a/ChangeLog b/ChangeLog
index 6ccc7b8..0cd422a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2016-07-17         Arnold D. Robbins     <address@hidden>
+
+       * eval.c (set_LINT): Reset lintfunc to `warning' for LINT="invalid".
+       Thanks to Andy Schorr for the report.
+
 2016-07-08         Arnold D. Robbins     <address@hidden>
 
        * dfa.c: Sync with GNU grep.
diff --git a/eval.c b/eval.c
index 6d30109..b857ea4 100644
--- a/eval.c
+++ b/eval.c
@@ -964,6 +964,7 @@ set_LINT()
                                else if (lintlen == 7 && strncmp(lintval, 
"invalid", 7) == 0) {
                                        do_flags &= ~ DO_LINT_ALL;
                                        do_flags |= DO_LINT_INVALID;
+                                       lintfunc = warning;
                                } else
                                        lintfunc = warning;
                        } else {

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog |    5 +++++
 eval.c    |    1 +
 2 files changed, 6 insertions(+)


hooks/post-receive
-- 
gawk