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 p=$PATH CROSS_COMPILER_PREFIX=""
21 *:*) d=${p%%:*} p=${p#*:} ;;
24 if [ -e "$d/ccache" ]; then CROSS_COMPILER_PREFIX="ccache "; break; fi
26 export CROSS_COMPILER_PREFIX
28 CROSS_BUILDENV=$env; export CROSS_BUILDENV
30 if [ -f "$CROSSDIR/etc/$env-config.site" ]
31 then CONFIG_SITE=$CROSSDIR/etc/$env-config.site
32 else CONFIG_SITE=$CROSSDIR/etc/common-cross-config.site
36 CROSS_PREFIX=$CROSSDIR/inst.$env; export CROSS_PREFIX
37 . "$CROSSDIR/etc/$env-setup.sh"
39 case ${CROSS_ARCH+t} in
41 *) echo 2>&1 "${0##*/}: setup script didn't set \`CROSS_ARCH'"; exit 2 ;;
46 *:"$CROSSDIR/tools:"*) ;;
47 *) PATH=$CROSSDIR/tools:$PATH ;;