#! /bin/sh

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