diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh index 0e88d69672..98a9d6f927 100755 --- a/toolchain/dependencies/dependencies.sh +++ b/toolchain/dependencies/dependencies.sh @@ -246,6 +246,18 @@ if ! which awk > /dev/null ; then fi; echo "awk installed: Ok" +############################################################# +# +# check build system 'bash' +# +############################################################# +if ! $SHELL --version 2>&1 | grep -q '^GNU bash'; then + echo "bash installed: FALSE" + /bin/echo -e "\n\nYou must install 'bash' on your build machine\n"; + exit 1; +fi; +echo "bash installed: Ok" + ############################################################# # # check build system 'bison'