aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--ChangeLog5
-rw-r--r--eval.c1
2 files changed, 6 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 6ccc7b8d..0cd422ac 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2016-07-17 Arnold D. Robbins <arnold@skeeve.com>
+
+ * eval.c (set_LINT): Reset lintfunc to `warning' for LINT="invalid".
+ Thanks to Andy Schorr for the report.
+
2016-07-08 Arnold D. Robbins <arnold@skeeve.com>
* dfa.c: Sync with GNU grep.
diff --git a/eval.c b/eval.c
index 6d30109b..b857ea4f 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 {