blob: dee5dc3fc8c805578b3068705880f33be450baa4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# sourced to find alternate names for things
. ./configure
if [ -z "$(command -v "${CROSS_COMPILE}${CC}")" ]
then
echo "No ${CROSS_COMPILE}${CC} found" >&2
exit 1
fi
if [ -z "$SED" ]
then
[ ! -z "$(command -v gsed 2>/dev/null)" ] && SED=gsed || SED=sed
fi
|