annotate configure @ 24649:31a7fa6b2e93 v8.2.2863

patch 8.2.2863: removing a text property does not redraw optimally Commit: https://github.com/vim/vim/commit/965c04486c9364ded99b49c86f4c41228503df1f Author: Bram Moolenaar <Bram@vim.org> Date: Mon May 17 00:22:06 2021 +0200 patch 8.2.2863: removing a text property does not redraw optimally Problem: Removing a text property does not redraw optimally. Solution: Only redraw the lines that mithg actually have been changed.
author Bram Moolenaar <Bram@vim.org>
date Mon, 17 May 2021 00:30:04 +0200
parents a1ca6778da49
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #! /bin/sh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # This is just a stub for the Unix configure script, to provide support for
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 # doing "./configure" in the top Vim directory.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5
16629
a1ca6778da49 patch 8.1.1317: output from Travis can be improved
Bram Moolenaar <Bram@vim.org>
parents: 921
diff changeset
6 cd "${SRCDIR:-src}" && exec ./configure "$@"