annotate configure @ 17541:d9aa921b7198 v8.1.1768

patch 8.1.1768: man plugin changes setting in current window commit https://github.com/vim/vim/commit/bca9c301936c9ba4ee67528f81393debf83844b9 Author: Bram Moolenaar <Bram@vim.org> Date: Sun Jul 28 15:28:45 2019 +0200 patch 8.1.1768: man plugin changes setting in current window Problem: Man plugin changes setting in current window. Solution: Set options later. (Jason Franklin)
author Bram Moolenaar <Bram@vim.org>
date Sun, 28 Jul 2019 15:30:05 +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 "$@"