commit https://github.com/vim/vim/commit/36f0f0686ca313ef7b76387378cd5dc7acea1924 Author: Bram Moolenaar <Bram@vim.org> Date: Tue Jun 14 23:02:46 2016 +0200 patch 7.4.1938 Problem: When writing viminfo numbered marks were duplicated. Solution: Check for duplicates between current numbered marks and the ones read from viminfo.

#! /bin/sh
#
# pathdef.sh: adjust pathdef.c for auto/link.sed, if it exists
#
if test -s auto/link.sed; then
  cp auto/pathdef.c auto/pathdef.tmp
  sed -f auto/link.sed <auto/pathdef.tmp >auto/pathdef.c
  rm -f auto/pathdef.tmp
fi

# vim:set sw=2 et: