annotate configure @ 17436:e1b5c15f5fee v8.1.1716

patch 8.1.1716: old style comments are wasting space commit https://github.com/vim/vim/commit/ab0a789808ecf8de8f0805ec332f69029897fdb5 Author: Bram Moolenaar <Bram@vim.org> Date: Fri Jul 19 23:15:12 2019 +0200 patch 8.1.1716: old style comments are wasting space Problem: Old style comments are wasting space Solution: Use new style comments in option header file.
author Bram Moolenaar <Bram@vim.org>
date Fri, 19 Jul 2019 23: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 "$@"