#! /bin/sh

LOCAL_TOOL=""
[ ! -z ${LOCAL_TOOL} ] || LOCAL_TOOL="${ARMV7A_HARDFLOAT_LINUX_GNUEABI_4_8_AS}"
[ ! -z ${LOCAL_TOOL} ] || LOCAL_TOOL="${ARMV7A_HARDFLOAT_LINUX_GNUEABI_AS}"
#[ ! -z ${LOCAL_TOOL} ] || LOCAL_TOOL="${MENSA_AS}"
# AS might point to this script hence we call ourselves repeatedly
#[ ! -z ${LOCAL_TOOL} ] || LOCAL_TOOL="${AS}"
[ "${LOCAL_TOOL}" != "$0" ] || LOCAL_TOOL=""
[ -z "${LOCAL_TOOL}" ]  && exec armv7a-hardfloat-linux-gnueabi-$(basename $0) $* || exec "${LOCAL_TOOL}" $*
