diff options
Diffstat (limited to 'toolchain/sed/sedcheck.sh')
-rwxr-xr-x | toolchain/sed/sedcheck.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/toolchain/sed/sedcheck.sh b/toolchain/sed/sedcheck.sh deleted file mode 100755 index de15ac2f19..0000000000 --- a/toolchain/sed/sedcheck.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh - -if [ -x /usr/bin/sed ]; then - SED="/usr/bin/sed"; -else - if [ -x /bin/sed ]; then - SED="/bin/sed"; - fi; -fi; - -echo "HELLO" > .sedtest -$SED -i -e "s/HELLO/GOODBYE/" .sedtest >/dev/null 2>&1 - -case "$1" in - *) - if [ $? != 0 ] ; then - echo build-sed-host-binary - else - echo use-sed-host-binary - fi; - ;; -esac -rm -f .sedtest - - |