diff options
Diffstat (limited to 'toolchain/sed/sedcheck.sh')
| -rwxr-xr-x | toolchain/sed/sedcheck.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/toolchain/sed/sedcheck.sh b/toolchain/sed/sedcheck.sh index 5af1d886bd..de15ac2f19 100755 --- a/toolchain/sed/sedcheck.sh +++ b/toolchain/sed/sedcheck.sh @@ -12,11 +12,6 @@ echo "HELLO" > .sedtest $SED -i -e "s/HELLO/GOODBYE/" .sedtest >/dev/null 2>&1 case "$1" in - download) - if [ $? != 0 ] ; then - echo download-sed-binary - fi; - ;; *) if [ $? != 0 ] ; then echo build-sed-host-binary |