| commit | fcc4d921d6761b833ae89ca3dc450c48c270ca36 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Fri May 24 13:32:36 2019 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri May 24 13:32:36 2019 +0200 |
| tree | 39674ab828e815cd1115161f2edd2fc1533aa38d | |
| parent | e2ad826f431b2f8dd1b235c219282cc3961f7188 [diff] [blame] |
patch 8.1.1377: MS-Windows GUI uses wrong shell command for bash Problem: MS-Windows GUI uses wrong shell command for bash. (Robert Bogomip) Solution: Check that 'shellcmdflag' is "/c". (Ken Takata, closes #4418)
diff --git a/src/version.c b/src/version.c index 26c4071..b2278ed 100644 --- a/src/version.c +++ b/src/version.c
@@ -768,6 +768,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1377, +/**/ 1376, /**/ 1375,