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
|
|
