diff options
| -rwxr-xr-x | sources/sedcheck.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/sedcheck.sh b/sources/sedcheck.sh index f6fcebd94..4d645b6ab 100755 --- a/sources/sedcheck.sh +++ b/sources/sedcheck.sh @@ -12,10 +12,10 @@ echo "HELLO" > .sedtest $SED -i -e "s/HELLO/GOODBYE/" .sedtest >/dev/null 2>&1 if [ $? != 0 ] ; then - rm -f .sedtest echo build-sed-host-binary +else + echo use-sed-host-binary fi; rm -f .sedtest -echo use-sed-host-binary |