diff options
| -rwxr-xr-x | toolchain/dependencies/check-host-sed.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/toolchain/dependencies/check-host-sed.sh b/toolchain/dependencies/check-host-sed.sh index 188b7210b..ed9a1d4db 100755 --- a/toolchain/dependencies/check-host-sed.sh +++ b/toolchain/dependencies/check-host-sed.sh @@ -12,9 +12,10 @@ do fi fi - echo "HELLO" > .sedtest - $SED -i -e "s/HELLO/GOODBYE/" .sedtest >/dev/null 2>&1 - RESULT=$(cat .sedtest) + tmp=$(mktemp) + echo "HELLO" > $tmp + $SED -i -e "s/HELLO/GOODBYE/" $tmp >/dev/null 2>&1 + RESULT=$(cat $tmp) if test $? != 0 ; then SED="" @@ -26,7 +27,7 @@ do SED="" fi - rm -f .sedtest + rm -f $tmp if [ ! -z "$SED" ] ; then break fi |