98_bash.sh 370 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#!/bin/bash
if [ -t 0 ] ; then
    COLORON="\e[1m\e[31m"
    COLOROFF="\e[0m"
else
    COLORON=""
    COLOROFF=""
fi
INFO="${COLORON}[INFO]${COLOROFF}"

/bin/sh --version >/dev/null 2>&1 | grep -i bash || {
    echo -e "${INFO} Many legacy TASTE Makefiles depend on /bin/sh pointing to bash."
    echo -e "${INFO} Please change your /bin/sh appropriately."
    exit 1
}