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