| # 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 "$(command -v gsed 2>/dev/null)" ] && SED=gsed || SED=sed | |
| fi |