commit | c4a249a736d40ec54794827ef95804c225d0e38f | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Mon Jan 30 22:56:48 2017 +0100 |
committer | Bram Moolenaar <Bram@vim.org> | Mon Jan 30 22:56:48 2017 +0100 |
tree | f61752362c0ef75e2e2a79f10d2540136511a3f9 | |
parent | 432c839ebd5b99d548de82f66ddb5a47740fdb28 [diff] [blame] |
patch 8.0.0273: dead code detected by Coverity Problem: Dead code detected by Coverity when not using gnome. Solution: Rearrange the #ifdefs to avoid dead code.
diff --git a/src/version.c b/src/version.c index cfaa0b8..a60de4c 100644 --- a/src/version.c +++ b/src/version.c
@@ -765,6 +765,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 273, +/**/ 272, /**/ 271,