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
}