view src/toolcheck @ 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 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