annotate src/configure @ 19797:d73d982499ae v8.2.0455

patch 8.2.0455: cannot set the highlight group for a specific terminal Commit: https://github.com/vim/vim/commit/83d4790a04780328c9c7ad22d18f404a27c11601 Author: Bram Moolenaar <Bram@vim.org> Date: Thu Mar 26 20:34:00 2020 +0100 patch 8.2.0455: cannot set the highlight group for a specific terminal Problem: Cannot set the highlight group for a specific terminal. Solution: Add the "highlight" option to term_start(). (closes https://github.com/vim/vim/issues/5818)
author Bram Moolenaar <Bram@vim.org>
date Thu, 26 Mar 2020 20:45:03 +0100
parents cd9471bd8e9e
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 # run the automatically generated configure script
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 CONFIG_STATUS=auto/config.status \
615
7fe13e0f5dce updated for version 7.0175
vimboss
parents: 128
diff changeset
4 auto/configure "$@" --srcdir="${srcdir:-.}" --cache-file=auto/config.cache
921
cd9471bd8e9e updated for version 7.0-047
vimboss
parents: 615
diff changeset
5 result=$?
cd9471bd8e9e updated for version 7.0-047
vimboss
parents: 615
diff changeset
6
128
8def260d486d updated for version 7.0044
vimboss
parents: 7
diff changeset
7 # Stupid autoconf 2.5x causes this file to be left behind.
8def260d486d updated for version 7.0044
vimboss
parents: 7
diff changeset
8 if test -f configure.lineno; then rm -f configure.lineno; fi
921
cd9471bd8e9e updated for version 7.0-047
vimboss
parents: 615
diff changeset
9
cd9471bd8e9e updated for version 7.0-047
vimboss
parents: 615
diff changeset
10 exit $result