if ! echo ${PATH} |grep -q /opt/crosstool ; then
    PATH="$PATH:/opt/crosstool/gcc-3.4.1-glibc-2.3.3/arm-9tdmi-linux-gnu/bin"
fi