#! /bin/sh

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