4 0) echo 2>&1 "usage: ${0##*/} ENV [CMD [ARGS ...]]"; exit 2 ;;
11 : ${CROSSDIR=@crossdir@}; export CROSSDIR
13 if ! [ -f
"$CROSSDIR/etc/$env-setup.sh" ]; then
14 echo 2>&1 "${0##*/}: cross environment \`$env' unknown"; exit 2
17 if type >/dev
/null
2>&1; then CROSS_COMPILER_PREFIX
="ccache "
18 else CROSS_COMPILER_PREFIX
=
20 export CROSS_COMPILER_PREFIX
22 CROSS_BUILDENV
=$env; export CROSS_BUILDENV
24 if [ -f
"$CROSSDIR/etc/$env-config.site" ]
25 then CONFIG_SITE
=$CROSSDIR/etc
/$env-config.site
26 else CONFIG_SITE
=$CROSSDIR/etc
/common-cross-config.site
30 CROSS_PREFIX
=$CROSSDIR/inst.
$env; export CROSS_PREFIX
31 .
"$CROSSDIR/etc/$env-setup.sh"
33 case ${CROSS_ARCH+t} in
35 *) echo 2>&1 "${0##*/}: setup script didn't set \`CROSS_ARCH'"; exit 2 ;;
40 *:"$CROSSDIR/tools:"*) ;;
41 *) PATH
=$CROSSDIR/tools
:$PATH ;;