view src/toolcheck @ 18631:e2d9f4d030fa v8.1.2308

patch 8.1.2308: deleting text before zero-width textprop removes it Commit: https://github.com/vim/vim/commit/ecafcc15ca92ecb9c6b41dbb3b0fcdf89c9eff69 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Nov 16 20:41:51 2019 +0100 patch 8.1.2308: deleting text before zero-width textprop removes it Problem: Deleting text before zero-width textprop removes it. Solution: Keep zero-width textprop when deleting text.
author Bram Moolenaar <Bram@vim.org>
date Sat, 16 Nov 2019 20:45:04 +0100
parents 3fc0f57ecb91
children
line wrap: on
line source

#!/bin/sh
# toolcheck -- check for tools that have severe bugs. Good that all the buggy
#	       tools identify by version numbers. This is the spirit of GNU :-)
#
# 24.7.95 jw.

retval=0
reply="`sh -version -c exit 2>&1 < /dev/null`"
case "$reply" in
	GNU*1.14.3*)
		echo "- sh is	'$reply'";
		echo "  CAUTION: This shell has a buggy 'trap' command.";
		echo "           The configure script may fail silently.";
		retval=1;
		;;
	GNU*)
		echo "- sh is	'$reply' - probably OK.";
		;;
	*)	;;
esac

reply="`sed --version 2>&1 < /dev/null`"
case "$reply" in
	GNU\ sed\ version\ 2.0[34])
		echo "- sed is	'$reply'";
		echo "  CAUTION: This sed cannot configure screen properly."
		retval=1;
		;;
	GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin)
		echo "- sed is	'$reply' - good.";
		;;
	GNU*)	echo "- sed is	'$reply'.";
		;;
	*)	;;
esac
exit $retval