Commit 5349c0bd authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Add check that /bin/sh is bash.

parent 0007c8bc
......@@ -8,8 +8,8 @@ else
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."
/bin/sh --version 2>&1 | grep -i bash || {
echo -e "${INFO} Many legacy Makefiles used 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