diff options
| author | Bram Moolenaar <Bram@vim.org> | 2017-04-20 22:32:24 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2017-04-20 22:32:24 +0200 |
| commit | 91b6e4591a839139f720798a2efbe83b2ecf8446 (patch) | |
| tree | aa2aa95bf945320aa417150fd0f6f3456f5b59d5 /src/version.c | |
| parent | 6de5e126018b6f92526795cc06b1d73fac965db1 (diff) | |
| download | vim-91b6e4591a839139f720798a2efbe83b2ecf8446.zip | |
patch 8.0.0573: running parallel make after distclean fails
Problem: Running parallel make after distclean fails. (Manuel Ortega)
Solution: Instead of using targets "scratch config myself" use "reconfig".
Diffstat (limited to 'src/version.c')
| -rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 6870b017b..7bafae1db 100644 --- a/src/version.c +++ b/src/version.c @@ -765,6 +765,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 573, +/**/ 572, /**/ 571, |