diff options
Diffstat (limited to 'tools/sed/sedcheck.sh')
-rwxr-xr-x | tools/sed/sedcheck.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/tools/sed/sedcheck.sh b/tools/sed/sedcheck.sh deleted file mode 100755 index f5a09fde08..0000000000 --- a/tools/sed/sedcheck.sh +++ /dev/null @@ -1,24 +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* - |