annotate src/pathdef.sh @ 12738:bd24b59084a1 v8.0.1247

patch 8.0.1247: not easy to find Debian build info commit https://github.com/vim/vim/commit/86b21bb3e7bc687fc74e127d78a89b411929716b Author: Bram Moolenaar <Bram@vim.org> Date: Thu Nov 2 18:10:00 2017 +0100 patch 8.0.1247: not easy to find Debian build info Problem: Not easy to find Debian build info. Solution: Add a badge in the README file. (Dominique Pelle)
author Christian Brabandt <cb@256bit.org>
date Thu, 02 Nov 2017 18:15:04 +0100
parents 3fc0f57ecb91
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 # pathdef.sh: adjust pathdef.c for auto/link.sed, if it exists
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5 if test -s auto/link.sed; then
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6 cp auto/pathdef.c auto/pathdef.tmp
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 sed -f auto/link.sed <auto/pathdef.tmp >auto/pathdef.c
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 rm -f auto/pathdef.tmp
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 fi
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 # vim:set sw=2 et: