Commit 0007c8bc authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Add check that /bin/sh is bash.

parent bbe0c551
#!/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
}
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment