diff options
| -rwxr-xr-x | toolchain/dependencies/check-host-sed.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toolchain/dependencies/check-host-sed.sh b/toolchain/dependencies/check-host-sed.sh index 71f0eb9e8..188b7210b 100755 --- a/toolchain/dependencies/check-host-sed.sh +++ b/toolchain/dependencies/check-host-sed.sh @@ -1,3 +1,5 @@ +#!/bin/sh + SEDLIST="/usr/bin/sed /bin/sed sed gnused gsed" for SED in $SEDLIST |