4f889ada5 ^
476ec17d2 ^
1506b0cfd ^
3c7972913 ^
1 2
3 4
5
6
7
8
9 10
11
#!/bin/sh # Make sure the host sed supports '-i' (in-place). # If it doesn't, we'll build and use our own. SED=$(toolchain/dependencies/check-host-sed.sh) if [ -z "$SED" ] ; then echo build-sed-host-binary else echo use-sed-host-binary fi