From d0c3d1cf4365a80ba2ec35eef0c3ed7ac907f320 Mon Sep 17 00:00:00 2001 From: Peter Korsgaard Date: Thu, 30 Sep 2010 23:09:39 +0200 Subject: sed: get rid of host-sed variant And all the infrastructure surrounding it. A broken sed implementation is quite rare nowadays, as seen by the fact that the current host-sed support has been broken for a while, so just get rid of it. Signed-off-by: Peter Korsgaard --- toolchain/dependencies/check-host-sed.sh | 35 -------------------------------- 1 file changed, 35 deletions(-) delete mode 100755 toolchain/dependencies/check-host-sed.sh (limited to 'toolchain/dependencies/check-host-sed.sh') diff --git a/toolchain/dependencies/check-host-sed.sh b/toolchain/dependencies/check-host-sed.sh deleted file mode 100755 index ed9a1d4db..000000000 --- a/toolchain/dependencies/check-host-sed.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/sh - -SEDLIST="/usr/bin/sed /bin/sed sed gnused gsed" - -for SED in $SEDLIST -do - if ! test -x $SED ; then - SED=$(which $SED 2> /dev/null) - if ! test -x "$SED" > /dev/null ; then - SED="" - continue - fi - fi - - tmp=$(mktemp) - echo "HELLO" > $tmp - $SED -i -e "s/HELLO/GOODBYE/" $tmp >/dev/null 2>&1 - RESULT=$(cat $tmp) - - if test $? != 0 ; then - SED="" - elif test -e ".sedtest-e" ; then - rm -f ".sedtest-e" - SED="" - elif [ "x$RESULT" = "x" ] || [ "$RESULT" != "GOODBYE" ] > /dev/null ; - then - SED="" - fi - - rm -f $tmp - if [ ! -z "$SED" ] ; then - break - fi -done -echo $SED -- cgit v1.2.3