| commit | d1911a8e2b1498f0cb0275a98f63dd212204a1a8 | [log] [tgz] |
|---|---|---|
| author | Gregory Anders <greg@gpanders.com> | Mon Jun 05 21:52:46 2023 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Mon Jun 05 21:52:46 2023 +0100 |
| tree | c47e1517008f9c7cc4ee9cc4afacf69ca82b5bd8 | |
| parent | 15d4747ffd197ffa5b5a41a852a1fe93b6cc35fd [diff] [blame] |
patch 9.0.1613: some make output gets picked up by 'errorformat' Problem: Some make output gets picked up by 'errorformat'. Solution: Ignore make output by default. (Gregory Anders, closes #12481)
diff --git a/src/version.c b/src/version.c index a0c6893..466209b 100644 --- a/src/version.c +++ b/src/version.c
@@ -696,6 +696,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1613, +/**/ 1612, /**/ 1611,