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