diff options
| author | Bram Moolenaar <Bram@vim.org> | 2018-05-12 21:05:45 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2018-05-12 21:05:45 +0200 |
| commit | ee62f9fa748ea528eb2a06b3e22ef9a5aecb7cca (patch) | |
| tree | ede9c91234f0c73c996e736488eead6a03c30110 | |
| parent | 2bc799579d06936968fa00e52b79ddd4eaca7678 (diff) | |
| download | vim-git-ee62f9fa748ea528eb2a06b3e22ef9a5aecb7cca.tar.gz | |
patch 8.0.1822: make uninstall does not remove colors/toolsv8.0.1822
Problem: Make uninstall does not remove colors/tools.
Solution: Add a line to delete the tools directory. (Kazunobu Kuriyama)
| -rw-r--r-- | src/Makefile | 1 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index d7b8f7ee2..5a6ad84e6 100644 --- a/src/Makefile +++ b/src/Makefile @@ -2824,6 +2824,7 @@ uninstall_runtime: -rm -f $(SYS_FTPLUGOF_FILE) $(SYS_FTPLUGIN_FILE) -rm -f $(SYS_OPTWIN_FILE) -rm -f $(DEST_COL)/*.vim $(DEST_COL)/README.txt + -rm -rf $(DEST_COL)/tools -rm -f $(DEST_SYN)/*.vim $(DEST_SYN)/README.txt -rm -f $(DEST_IND)/*.vim $(DEST_IND)/README.txt -rm -rf $(DEST_MACRO) diff --git a/src/version.c b/src/version.c index 38d26f13d..981d65033 100644 --- a/src/version.c +++ b/src/version.c @@ -762,6 +762,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1822, +/**/ 1821, /**/ 1820, |