view src/pathdef.sh @ 2923:7653420fdc45 v7.3.234

updated for version 7.3.234 Problem: With GTK menu may be popping down. Solution: Use event time instead of GDK_CURRENT_TIME. (Hong Xu)
author Bram Moolenaar <bram@vim.org>
date Sun, 26 Jun 2011 04:49:00 +0200
parents 3fc0f57ecb91
children
line wrap: on
line source

#! /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: